La barre de défilement d'Emacs ne s'affiche pas correctement

10

Comme le titre l'indique, dans emacs, la barre de défilement ne s'affiche pas correctement. Les anciennes positions ne sont jamais effacées. Je ne peux pas non plus cliquer et faire glisser la barre de défilement. J'ai essayé de chercher mais je ne trouve rien à ce sujet. Des idées quelle peut être la cause?

Exécution 17.04, emacspackage standard .

Exemple:

exemple

17.04 emacs KleinFourGroup
la source
2
Ça m'arrive aussi, dans Ubuntu 18.04. J'ai essayé la variable d'environnement ici, mais cela fait juste que la barre de défilement n'est pas rendue du tout: bugs.launchpad.net/overlay-scrollbar/+bug/847940
Luke Maurer
1
Comme je l'ai à peine utilisé et que le bogue était ennuyeux, j'ai mis "(scroll-bar-mode -1)" dans mon fichier .emacs.el pour désactiver la barre de défilement.
user127094

Réponses:

3

J'ai eu le même problème et l'ai résolu en changeant le thème GTK d'Ambiance qui est par défaut pour Ubunty à Adwaita par défaut pour Gnome. On peut changer le thème GTK en installant gnome-tweaks. Je pense que c'est un problème persistant avec le thème par défaut d'Ubuntu et Emacs et affecte quelques-unes des dernières versions des deux.

Alexandre Stefanov
la source
0

Pas une solution optimale, mais vous pouvez rendre l'arrière-plan de la barre de défilement non transparent comme solution de contournement. Cela le rendra visible (quoique légèrement glitch) sans changer son comportement notamment dans d'autres applications.

Pour ce faire, vous devez créer un nouveau thème avec un fichier CSS légèrement modifié:

$ cp -r /usr/share/themes/Ambiance ~/.themes/AmbianceWithScrollbars
$ cd ~/.themes/AmbianceWithScrollbars
$ sed -i 's/Ambiance/AmbianceWithScrollbars/' index.theme

Maintenant, ouvrez gtk-3.20/gtk-widgets.css, faites défiler jusqu'au .scrollbar.contents, scrollbar contentssélecteur et remplacez-le background-color: transparent;par background-color: @backdrop_selected_bg_color;(ou par n'importe quelle couleur que vous aimez comme white, rgb(200, 200, 200)ou @bg_color) Enfin, appliquez le nouveau thème:

$ gsettings set org.gnome.desktop.interface gtk-theme AmbianceWithScrollbars

Il y aura toujours des artefacts mineurs en raison du curseur (vous pouvez le désactiver si vous le souhaitez) mais la zone principale de la barre de défilement sera correctement actualisée.

Alternativement, vous pouvez simplement modifier cette ligne en place dans le thème par défaut, bien que cette modification soit remplacée une fois le package de thème mis à jour.

PS Je sais qu'il y a une feuille de style pour GTK ~/.config/gtk-3.20/..mais pour une raison quelconque, je ne pouvais pas le faire fonctionner de cette façon. :(

undercat applaudit Monica
la source