This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
eclipse [2020/06/23 11:53] mstraub [Organise Imports] |
eclipse [2021/07/12 22:20] mstraub [Scroll bars hide content] |
||
---|---|---|---|
Line 58: | Line 58: | ||
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: 8px; | ||
+ | } | ||
+ | </code> | ||
==== Autocompletion not working properly ===== | ==== Autocompletion not working properly ===== | ||