Differences

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

--- 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.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 =====

Small heaps of code