From ec0debdb303917aca1381af3ed5379598110bb5b Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Tue, 19 Sep 2006 12:43:42 +0000 Subject: Do not hide the frame if menushell is active. --- (limited to 'docs/design.txt') -- cgit v0.9.1