1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
$Id: TODO 59 2006-04-23 02:08:51Z branden $
* Switch to dh_installman.
* fix splash screen so it works in depths other than 8
* See if GetWMPropertyString() memory leak needs to be ported up to
freedesktop.org twm.
* See if resizing down/right bug is the same (very old) one that affects
vtwm.
--- gram.y~ 2005-06-21 00:35:19.000000000 -0500
+++ gram.y 2005-11-01 23:08:54.899134593 -0500
@@ -433,6 +433,7 @@
wingeom_list
| VIRTUAL_SCREENS { }
geom_list
+ ;
noarg : KEYWORD { if (!do_single_keyword ($1)) {
twmrc_error_prefix();
@@ -851,7 +852,7 @@
occupy_workspc_entry : string {
AddToClientsList ($1, client);
}
- ;
+ ;
occupy_window_list : LB occupy_window_entries RB {}
;
@@ -863,6 +864,7 @@
occupy_window_entry : string {
AddToClientsList (workspace, $1);
}
+ ;
icon_list : LB icon_entries RB {}
;
|
