| changeset 1392 | ee12ffbf93df |
| parent 1370 | 6d6ed7a9183c |
| child 1396 | 440dda47ae5b |
| 1391:1409113e7808 | 1392:ee12ffbf93df |
|---|---|
10 static const char selfgcolor[] = "#ffffff"; |
10 static const char selfgcolor[] = "#ffffff"; |
11 static unsigned int borderpx = 1; /* border pixel of windows */ |
11 static unsigned int borderpx = 1; /* border pixel of windows */ |
12 static unsigned int snap = 32; /* snap pixel */ |
12 static unsigned int snap = 32; /* snap pixel */ |
13 static Bool showbar = True; /* False means no bar */ |
13 static Bool showbar = True; /* False means no bar */ |
14 static Bool topbar = True; /* False means bottom bar */ |
14 static Bool topbar = True; /* False means bottom bar */ |
15 static Bool usegrab = False; /* True means grabbing the X server |
|
16 during mouse-based resizals */ |
|
17 |
15 |
18 /* tagging */ |
16 /* tagging */ |
19 static const char tags[][MAXTAGLEN] = { "1", "2", "3", "4", "5", "6", "7", "8", "9" }; |
17 static const char tags[][MAXTAGLEN] = { "1", "2", "3", "4", "5", "6", "7", "8", "9" }; |
20 static unsigned int tagset[] = {1, 1}; /* after start, first tag is selected */ |
18 static unsigned int tagset[] = {1, 1}; /* after start, first tag is selected */ |
21 |
19 |