User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

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/​show_bug.cgi?​id=519728 See https://​​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:
 +.scrollbar.vertical slider,
 +scrollbar.vertical slider {
 +min-width: 8px;
 ==== Autocompletion not working properly ===== ==== Autocompletion not working properly =====
eclipse.txt ยท Last modified: 2021/07/12 22:27 by mstraub