Files
wmaker/src
Iain PattersonandCarlos R. Mafra 567279b962 Pad workspace name display.
Shift the workspace name, shown when switching workspaces, by 32
pixels.  This is purely for aesthetic reasons.  It just looks better
(IMO) than having the name flush against the screen edge.
2009-09-14 16:51:26 +02:00
..
2009-09-13 19:17:59 +02:00
2009-08-27 16:34:44 +02:00
2009-09-03 15:44:11 +02:00
2009-09-03 15:44:11 +02:00
2009-09-03 15:44:11 +02:00
2004-10-13 05:09:08 +00:00
2009-08-23 18:45:30 +02:00
2009-09-14 16:51:26 +02:00
2004-10-12 21:28:27 +00:00
2009-09-02 04:42:05 +02:00
2009-09-14 16:51:26 +02:00
2004-10-12 21:28:27 +00:00
2009-09-03 15:44:11 +02:00
2004-10-12 21:28:27 +00:00
2009-09-13 19:17:59 +02:00
2009-09-02 04:42:05 +02:00
2009-08-23 18:45:30 +02:00
2009-08-23 18:45:30 +02:00
2009-08-23 18:45:30 +02:00
2009-08-23 18:45:30 +02:00
2009-09-03 23:56:33 +02:00
2009-09-14 16:51:26 +02:00
2009-08-20 00:59:40 +02:00
2004-10-12 21:28:27 +00:00
2009-08-21 02:20:27 +02:00
2004-10-12 21:28:27 +00:00
2009-09-14 16:51:26 +02:00
2009-09-02 04:42:05 +02:00
2009-09-03 15:44:11 +02:00
2009-09-14 16:51:26 +02:00
2009-08-27 16:34:44 +02:00
1999-05-18 20:40:30 +00:00
2009-09-13 23:32:09 +02:00
1998-09-29 22:36:29 +00:00