Files
wmaker/src
Tim TaennyandCarlos R. Mafra 8f29bdc690 Improved layout of the widgets in the DockAppSettingsPanel
Instead of relying on static pixel values for position and size of
the widgets, the DockAppSettingsPanel now scales its widgets based
on the selected system font size.
2019-06-12 23:42:27 +01:00
..
2015-08-25 15:42:06 +01:00
2016-01-17 22:54:49 -05:00
2013-05-26 19:48:00 +01:00
2010-09-11 17:32:57 +02:00
2017-09-14 21:08:26 +02:00
2016-01-17 22:54:49 -05:00
2010-09-11 17:32:57 +02:00
2013-06-10 22:34:59 +01:00
2015-08-23 22:08:30 +01:00
2015-08-23 22:08:30 +01:00
2016-01-21 08:52:36 -05:00
2016-01-21 08:52:36 -05:00
2013-05-26 19:48:00 +01:00
2013-05-26 19:48:00 +01:00
2013-05-26 19:48:00 +01:00
2012-04-04 19:44:40 +01:00
2012-06-24 12:30:17 +01:00
2016-01-17 22:54:49 -05:00
2016-01-17 22:54:49 -05:00
2012-11-19 00:12:46 +01:00
2016-01-17 22:54:49 -05:00
2013-05-26 19:48:00 +01:00
2013-05-26 19:48:00 +01:00
2016-01-17 22:54:49 -05:00
2013-05-26 19:48:00 +01:00
2014-08-29 12:43:50 +01:00
2014-08-15 01:08:23 +01:00
2016-01-17 22:54:49 -05:00