8 Commits

Author	SHA1	Message	Date
zadam	53875d26bc	don't try to activate the pane being currently removed	2021-10-13 23:27:58 +02:00
zadam	f505f9d65a	hide tooltip after clicking on a button, fixes #2228	2021-10-13 23:05:47 +02:00
zadam	7ea72632b8	display keyboard shortcuts in button widget title	2021-07-05 09:59:03 +02:00
zadam	b68bdc5005	hide global menu tooltip upon click	2021-07-05 08:59:36 +02:00
zadam	6d51593b7d	removed CSS contain from widgets	2021-06-05 22:07:15 +02:00
zadam	f8dd8ebf1a	dark theme tweaks	2021-06-02 21:23:40 +02:00
zadam	a3d44fbdef	button tweaks	2021-05-28 22:47:59 +02:00
zadam	5707b7e29a	closing panes	2021-05-24 22:29:49 +02:00