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
Next revision Both sides next revision
eclipse [2019/04/03 13:01]
mstraub [Troubleshooting]
eclipse [2019/08/27 14:31]
mstraub
Line 39: Line 39:
  
 see [[kubuntu|KDE 5 / Kubuntu Tipps & Tricks]] see [[kubuntu|KDE 5 / Kubuntu Tipps & Tricks]]
 +
 +==== Scroll bars hide content ====
 +
 +Start with GTK_OVERLAY_SCROLLING=0
 +see https://​bugs.eclipse.org/​bugs/​show_bug.cgi?​id=519728
  
 ==== Autocompletion not working properly ===== ==== Autocompletion not working properly =====
eclipse.txt ยท Last modified: 2021/07/12 22:27 by mstraub