Johannes Zottele

Total activity 3
Last activity March 02, 2024 15:38
Member since October 19, 2023 21:07
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

Johannes Zottele commented, October 19, 2023 21:07
You may try the Adaptive Caret Scroll plugin https://plugins.jetbrains.com/plugin/22659-adaptive-caret-scrollIt supports the centered caret feature as well as scroll paddings for the top and bottom...
- 0 votes