Fixed the menu border. master
authorNot Zed <notzed@gmail.com>
Thu, 14 Jan 2021 13:33:12 +0000 (00:03 +1030)
committerNot Zed <notzed@gmail.com>
Thu, 14 Jan 2021 13:33:12 +0000 (00:03 +1030)
commit7d88fe5c7b1728dad01b88635231abf900b5735c
treef1933bdb36891c25fb7f18c61ef7baf84d08fd76
parentdd322490813410923dd2b3a9c6814cef30445e54
Fixed the menu border.
Removed tooltips entirely.
Fiddled with the scrollbar and other bits.
gtk-3.0/widgets/menu.css
gtk-3.0/widgets/popover.css
gtk-3.0/widgets/scrollbar.css
gtk-3.0/widgets/tooltip.css