diff options
| author | hdaniels <unknown> | 2005-06-22 12:09:08 +0000 |
|---|---|---|
| committer | hdaniels <unknown> | 2005-06-22 12:09:08 +0000 |
| commit | e7a7f7b2238dc18deaa91b5b7cfd7e3ce4093be6 (patch) | |
| tree | cf3b188d9e7e25c881fd6ad48cc2dc70ff3bbb1b /src/JavaGUI2/ManifestMain.txt | |
| parent | ae2627ff5b19f1704f4e1e1b765db9071b2f022f (diff) | |
typed menu entries even with printnames, on exit one is asked if 'text' instead of 'constraint' should be saved
Diffstat (limited to 'src/JavaGUI2/ManifestMain.txt')
0 files changed, 0 insertions, 0 deletions