Pasek przewijania Emacsa renderuje się niepoprawnie

10

Jak mówi tytuł, w emacsie pasek przewijania jest renderowany niepoprawnie. Stare pozycje nigdy nie są usuwane. Nie mogę również kliknąć i przeciągnąć paska przewijania. Próbowałem wyszukać, ale nic nie mogę na ten temat znaleźć. Wszelkie pomysły, co może być przyczyną?

Uruchamianie 17.04, emacspakiet standardowy .

Przykład:

przykład

KleinFourGroup
źródło
2
Zdarza mi się również w Ubuntu 18.04. Próbowałem tutaj zmiennej środowiskowej, ale powoduje to, że pasek przewijania w ogóle nie jest renderowany: bugs.launchpad.net/overlay-scrollbar/+bug/847940
Luke Maurer
1
Ponieważ prawie go nie używałem, a błąd był irytujący, umieściłem „(pasek przewijania w trybie -1)” w moim pliku .emacs.el, aby wyłączyć pasek przewijania.
user127094,

Odpowiedzi:

3

Miałem ten sam problem i rozwiązałem go, zmieniając motyw GTK z Ambiance, który jest domyślny dla Ubunty, na Adwaita, domyślny dla Gnome. Można zmienić motyw GTK instalując poprawki gnome. Myślę, że jest to stały problem z domyślnym motywem Ubuntu i Emacsem i dotyczy kilku najnowszych wersji obu.

Alexandre Stefanov
źródło
0

Nie jest to optymalne rozwiązanie, ale można sprawić, że tło paska przewijania będzie nieprzezroczyste jako obejście. To sprawi, że będzie widoczny (choć nieco zepsuty) bez zmiany jego zachowania, szczególnie w innych aplikacjach.

Aby to zrobić, musisz utworzyć nowy motyw z nieco poprawionym plikiem CSS:

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

Teraz otwarte gtk-3.20/gtk-widgets.css, przewijać do .scrollbar.contents, scrollbar contentsselektora i wymienić background-color: transparent;z background-color: @backdrop_selected_bg_color;(lub dowolny kolor lubisz, takie jak white, rgb(200, 200, 200)lub @bg_color) Wreszcie, należy zastosować nowy motyw:

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

Suwak będzie nadal zawierał drobne artefakty (możesz go wyłączyć, jeśli chcesz), ale główny obszar paska przewijania zostanie odświeżony poprawnie.

Alternatywnie możesz po prostu ulepszyć tę linię w domyślnym motywie, chociaż ta zmiana zostanie zastąpiona po zaktualizowaniu pakietu motywu.

PS Wiem, że istnieje arkusz stylów dla GTK, ~/.config/gtk-3.20/..ale z jakiegoś powodu nie mogłem sprawić, żeby działał w ten sposób. :(

undercat oklaskuje Monikę
źródło