This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
eclipse [2020/06/23 11:53] mstraub [Organise Imports] |
eclipse [2021/07/12 22:27] mstraub [Scroll bars too small] |
||
---|---|---|---|
Line 57: | Line 57: | ||
See https://bugs.eclipse.org/bugs/show_bug.cgi?id=519728 | See https://bugs.eclipse.org/bugs/show_bug.cgi?id=519728 | ||
+ | |||
+ | ==== Scroll bars too small ==== | ||
+ | |||
+ | Using Kubuntu 20.04 I don't like the miniscule scroll bars that slightly widen when hovering over them. Setting a min size works as follows: | ||
+ | |||
+ | Edit .config/gtk-3.0/gtk.css and add these lines: | ||
+ | |||
+ | <code> | ||
+ | .scrollbar.vertical slider, scrollbar.vertical slider { | ||
+ | min-width: 7px; | ||
+ | } | ||
+ | .scrollbar.horizontal slider, scrollbar.horizontal slider { | ||
+ | min-height: 7px; | ||
+ | } | ||
+ | </code> | ||
==== Autocompletion not working properly ===== | ==== Autocompletion not working properly ===== |