4 Dec
2009
4 Dec
'09
6:19 p.m.
Hi,
just encountered a tiny inconsistency in:
"$DIALOG" menu --items '({title = foo;}, {separator = 1;}, {header=1; title = bar;}, {title = baz;})'
It shows instead the keyboard shortcuts 1 and 2 the "old" keyboard shortcuts ⌘1 and ⌘2. This should be fixable easily by:
in Commands/menu.mm ⇢ uncomment line 69.
Cheers, --Hans