19.12.2017, 15:49
(19.12.2017, 14:29)Martin schrieb: Webkit scrollbar generator:
http://webkit-scroll-gen.sourceforge.net/
Dankeschön, das ist sehr praktisch.
Hab's noch nicht eingebaut, weil der Vivaldi schon eine recht umfangreiche custom.css mitbringt (unter Linux übrigens nicht in ~/.config/vivaldi, das gibt's zwar auch, sondern in opt/vivaldi/resources/vivaldi/style, man braucht also root-Rechte zum Editieren). Da muss ich aufpassen, dass ich keine Konflikte verursache.