BUG: Fix line numbers, selection not updated on mouse wheel to zoom
Please authenticate to join the conversation.
Upvoters
Status
Completed
Board
Feedback
Date
16 days ago
Author
asyncze
Subscribe to post
Get notified by email when there are changes.
Upvoters
Status
Completed
Board
Feedback
Date
16 days ago
Author
asyncze
Subscribe to post
Get notified by email when there are changes.