This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
eclipse [2019/08/27 14:31] mstraub |
eclipse [2019/08/27 14:32] mstraub [Scroll bars hide content] |
||
---|---|---|---|
Line 42: | Line 42: | ||
==== Scroll bars hide content ==== | ==== Scroll bars hide content ==== | ||
- | Start with GTK_OVERLAY_SCROLLING=0 | + | Start with: |
- | see https://bugs.eclipse.org/bugs/show_bug.cgi?id=519728 | + | <code bash> |
+ | GTK_OVERLAY_SCROLLING=0 | ||
+ | </code> | ||
+ | |||
+ | This will permanently reserve place for the scroll bars and no content will be hidden. | ||
+ | |||
+ | See https://bugs.eclipse.org/bugs/show_bug.cgi?id=519728 | ||
==== Autocompletion not working properly ===== | ==== Autocompletion not working properly ===== |