IDEs Support (IntelliJ Platform) | JetBrains

J Maier

Total activity 3
Last activity September 13, 2023 07:17
Member since September 13, 2023 07:15
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Created September 13, 2023 07:15

Same issue with GoLand, for several years now. On Linux Mint and XUbuntu.
- 0 votes
Created September 13, 2023 07:17

I think this happens when the editor does not register a mouse-leave or different event on an editor-tab after a scroll was initiated.If I go back to the “scrolling tab” and manually scroll down un...
- 0 votes