1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-02-03 23:05:46 +01:00
Files
wmaker/src
Carlos R. Mafra 9777b14fb7 Increase height of 'Attributes' window
With the addition of an extra button to the 'Advanced Options' window,
the vertical space of the widget no longer suffices. Increase it from
350 to 360 and adjust other parameters accordingly.

And let's write the button positions as 'PHEIGHT - 40' instead of using
a hardcoded value, avoiding the need to change it everytime PHEIGHT is
changed.

Signed-off-by: Carlos R. Mafra <crmafra@gmail.com>
2011-08-13 15:03:27 +02:00
..
2010-10-08 22:03:31 +02:00
2010-10-08 22:03:31 +02:00
2011-03-24 16:19:52 +01:00
2010-10-08 22:03:31 +02:00
2010-09-11 17:32:57 +02:00
2011-03-24 16:19:52 +01:00
2011-04-18 13:25:44 -07:00
2011-03-24 16:19:52 +01:00
2010-09-11 17:32:57 +02:00
2010-11-17 02:53:04 +01:00
2011-03-24 16:19:52 +01:00
2010-10-08 22:00:24 +02:00
2011-03-24 16:19:52 +01:00
2010-10-07 12:04:29 +02:00
2011-03-24 16:19:52 +01:00
2011-03-24 16:19:52 +01:00
2011-03-24 16:19:52 +01:00
2010-03-27 10:31:13 +01:00
2010-11-29 11:59:22 +01:00
2011-04-18 13:25:44 -07:00
2011-04-18 13:25:44 -07:00
2010-10-08 22:00:23 +02:00
2010-03-20 18:42:56 +01:00
2004-10-12 21:28:27 +00:00
2010-09-17 10:18:35 +02:00
2011-04-18 13:25:44 -07:00
2011-04-18 13:23:22 -07:00
2011-03-30 23:32:37 +02:00
2010-11-17 02:53:04 +01:00
2011-04-18 13:23:22 -07:00
2009-08-27 16:34:44 +02:00
1999-05-18 20:40:30 +00:00
2011-03-24 16:19:52 +01:00
1998-09-29 22:36:29 +00:00