Johannes Zottele

活动总数 3
最后的活动 2024年03月02日 15:38
成员加入日期 2023年10月19日 21:07
关注 0 名用户
关注者数 0 名用户
投票数 1
订阅数 1

创建于 2023年10月19日 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 票