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
eclipse [2019/08/27 14:31]
eclipse [2019/08/27 14:32] (current)
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/​show_bug.cgi?​id=519728+<code bash> 
 +This will permanently reserve place for the scroll bars and no content will be hidden. 
 +See https://​​bugs/​show_bug.cgi?​id=519728
 ==== Autocompletion not working properly ===== ==== Autocompletion not working properly =====
eclipse.txt · Last modified: 2019/08/27 14:32 by mstraub