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
Next revision
Previous revision
eclipse [2020/06/23 11:53]
mstraub [Organise Imports]
eclipse [2021/07/12 22:27] (current)
mstraub [Scroll bars too small]
Line 57: Line 57:
 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: 7px;
 +.scrollbar.horizontal slider, scrollbar.horizontal slider {
 +    min-height: 7px;
 ==== Autocompletion not working properly ===== ==== Autocompletion not working properly =====
eclipse.1592906037.txt.gz ยท Last modified: 2020/06/23 11:53 by mstraub