User Tools

Site Tools


eclipse

Differences

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]
mstraub
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.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 =====
eclipse.txt · Last modified: 2019/08/27 14:32 by mstraub