View previous topic :: View next topic |
Author |
Message |
sprittwicht l33t
Joined: 04 Dec 2003 Posts: 644
|
Posted: Mon Nov 30, 2015 7:47 am Post subject: [gelöst] Eclipse 4.5: Scrollbalken dauerhaft einblenden? |
|
|
Ist streng genommen keine Gentoo-Frage, aber vielleicht gibt's ja hier noch mehr geplagte Seelen.
Seit Eclipse 4.5 sind bei mir die Scrollbalken im Editor erst vollständig sichtbar, wenn man mit der Maus drüberfährt. Ist der Mauszeiger nicht im Editorfenster fehlen sie sogar komplett.
Dieses Verhalten (GTK Overlay Scrollbars?) nervt mich KOLOSSAL, kann man das irgendwie abschalten?
Bisherige (nicht erfolgreiche) Google-Tips:
1. export LIBOVERLAY_SCROLLBAR=0 vor dem Starten von Eclipse per Konsole
2. gsettings set com.canonical.desktop.interface scrollbar-mode normal geht anscheinend nur in Ubuntu
3. "High Contrast"-Theme in Eclipse auswählen
Bringt alles nichts.
Bitte wie, wie, wie kriege ich meine alten, total touchbedienungsfeindlichen, uncoolen, immer sichtbaren Scrollbalken auf meinem DESKTOP-PC zurück?
Last edited by sprittwicht on Mon Nov 30, 2015 8:29 am; edited 1 time in total |
|
Back to top |
|
|
sprittwicht l33t
Joined: 04 Dec 2003 Posts: 644
|
Posted: Mon Nov 30, 2015 8:29 am Post subject: |
|
|
Natürlich findet man die Lösung immer erst, NACHDEM man öffentlich um Hilfe geplärrt hat.
GTK_OVERLAY_SCROLLING=0
heißt das Zauberwort.
Und das normale Page-Up/Down-Verhalten gibt's in /etc/gtk-3.0/settings.ini:
gtk-primary-button-warps-slider = false
Gruselig, gruselig... |
|
Back to top |
|
|
Yamakuzure Advocate
Joined: 21 Jun 2006 Posts: 2285 Location: Adendorf, Germany
|
Posted: Tue Dec 01, 2015 9:29 am Post subject: |
|
|
Vielen Dank, ich wollte auch schon plärren. _________________ Important German:- "Aha" - German reaction to pretend that you are really interested while giving no f*ck.
- "Tja" - German reaction to the apocalypse, nuclear war, an alien invasion or no bread in the house.
|
|
Back to top |
|
|
|
|
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum
|
|