Ingo Bürk 245a29e233 Make show_marks configurable
Introduce a config directive "show_marks [yes|no]" to en- or disable drawing marks on window decorations.
To not change the look & feel of existing configurations, the default is "no".
2015-03-30 23:11:50 +02:00
..
2011-08-28 17:44:42 +02:00
2015-02-04 19:54:36 +01:00
2014-04-23 19:49:50 +02:00
2015-03-11 21:41:43 -07:00
2011-09-24 20:10:01 +01:00
2011-09-24 20:10:01 +01:00
2011-09-24 20:10:01 +01:00
2011-09-24 20:10:01 +01:00
ipc
2014-12-22 09:47:31 +01:00
2009-10-23 19:53:36 +02:00
2009-06-01 14:59:25 +02:00
2009-10-23 19:53:36 +02:00
2015-02-21 16:36:24 -05:00
2015-03-30 23:11:50 +02:00