eclipse
Differences
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 ===== | ||
eclipse.txt ยท Last modified: 2021/07/12 22:27 by mstraub
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC0 1.0 Universal
