Torbjörn Andersson 193efbb939
GUI: Revert volume sliders to their old width ...
I received a report on Discord from fracturehill that the width I had
specified for the volume sliders in the high resolution themes (where
they have to share space with the "Mute all" checkbox) was too wide. I
don't know how to fix this properly, so I'm reverting to the old width.
The rest of the recent slider changes should be safe, so they remain
unchanged. I hope someone else will be able to fix this properly,
because I don't know how.
2023-08-13 10:32:31 +02:00
2023-08-13 10:32:31 +02:00
2023-07-22 12:50:31 +02:00
2023-03-16 14:47:28 +01:00
2023-05-10 22:52:48 +02:00
2023-07-27 09:12:59 +02:00
2023-07-27 09:12:59 +02:00
2023-05-11 23:53:17 +02:00
2023-02-04 14:58:54 +01:00
2023-07-01 13:55:59 +02:00
2023-02-04 14:58:54 +01:00
2023-02-04 14:58:54 +01:00
2023-06-18 20:39:59 +02:00
2023-07-30 21:34:30 +02:00
2023-02-05 23:08:21 +01:00
2023-08-06 23:07:35 +02:00
2023-07-30 21:34:30 +02:00
2023-05-14 22:47:22 +02:00
2023-05-14 22:42:59 +02:00
2023-05-14 22:42:59 +02:00
2023-07-08 22:14:41 +03:00
2023-07-08 22:14:41 +03:00
2023-05-10 22:52:48 +02:00
2023-08-09 18:51:42 +02:00
2023-08-09 18:51:42 +02:00
2023-08-07 10:49:54 +02:00
2023-08-07 10:22:09 +02:00
2023-06-10 23:27:57 +02:00
2023-06-10 23:27:57 +02:00
2023-07-04 21:09:12 +02:00
2023-07-04 21:09:12 +02:00
2023-08-07 10:22:09 +02:00
2023-03-25 11:27:02 +01:00
2023-03-25 11:27:02 +01:00
2023-04-09 12:54:38 +02:00
2023-07-19 21:34:33 +02:00
2023-07-19 15:30:22 +02:00
2023-05-10 22:52:48 +02:00
2023-04-09 12:54:38 +02:00
2023-04-09 12:54:38 +02:00
2023-05-10 22:52:48 +02:00
2023-04-09 23:55:16 +03:00
2023-03-26 14:20:52 +02:00
2023-07-19 15:17:28 +02:00
2023-07-19 15:30:22 +02:00
2023-05-14 22:43:57 +02:00
2023-02-05 18:00:24 +01:00
2023-06-23 12:32:51 +03:00
2023-04-15 02:04:16 +02:00
2023-03-20 00:18:25 +01:00
2023-05-01 03:37:26 +02:00
2023-05-01 03:37:26 +02:00
2023-05-25 22:26:37 +01:00
2023-05-14 22:43:57 +02:00
2023-04-09 12:54:38 +02:00
Torbjörn Andersson
193efbb939