Dzisiaj miałem aktualizację m.in. gnome-terminal 2.30.2-1 -> 3.0.1-1. Po aktualizacji zresetowałem terminale i w prawym dolnym rogu, każdego z okien pojawił się dziwny trójkącik. Odpowiada on za zmianę rozmiaru okna. Przy zmianie opcji terminalu scrollbar_position (left, right, hidden), wspomniany wcześniej trójkąt i tak pozostaje ciągle w tym samym miejscu.
Używam devilspie do konfiguracji i rozmieszczania okien. Do momentu aktualizacji gnome-terminal nie było tego psującego estetykę dodatku.
Czy istnieje możliwość ukrycia tego drobiazgu albo za pomocą devilspie, albo przez gconf-editor?
Plik konfiguracyjny devilspie
Kod: Zaznacz cały
(if
(matches (window_name) "konsola_1")
(begin
(skip_pager)
(skip_tasklist)
(stick)
(below)
(undecorate)
(geometry "650x400+5+70")
)
)