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 | |
parent | 9ff192d0b3ab7ed3259e1f934eb4421e3ff9032d (diff) |
Do not hide the frame if menushell is active.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions