diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-09-19 12:43:42 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-09-19 12:43:42 (GMT) |
| commit | ec0debdb303917aca1381af3ed5379598110bb5b (patch) | |
| tree | 22652bc8ea80a3a44e15f02c3ac8e0ebde161434 /docs/design.txt | |
| parent | 9ff192d0b3ab7ed3259e1f934eb4421e3ff9032d (diff) | |
Do not hide the frame if menushell is active.
Diffstat (limited to 'docs/design.txt')
0 files changed, 0 insertions, 0 deletions