From 780d4583cc7d03130adc3d7e484a09d365d380e7 Mon Sep 17 00:00:00 2001
From: fluxgen <fluxgen>
Date: Sat, 19 Oct 2002 17:12:44 +0000
Subject: tab option

---
 src/Windowmenu.cc | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/Windowmenu.cc b/src/Windowmenu.cc
index b4219f1..b798e67 100644
--- a/src/Windowmenu.cc
+++ b/src/Windowmenu.cc
@@ -21,7 +21,7 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: Windowmenu.cc,v 1.19 2002/09/10 11:06:26 fluxgen Exp $
+// $Id: Windowmenu.cc,v 1.20 2002/10/19 17:12:44 fluxgen Exp $
 
 //use GNU extensions
 #ifndef	 _GNU_SOURCE
@@ -110,7 +110,7 @@ sendGroupToMenu(this) {
 	setItemEnabled(3, window.isIconifiable());
 	setItemEnabled(4, window.isMaximizable());
 	setItemEnabled(9, window.isClosable());
-	setItemEnabled(10, true); //we should always be able to enable the tab
+	setItemEnabled(10, window.isResizable()); // tab option
 
 }
 
@@ -199,7 +199,8 @@ void Windowmenu::reconfigure() {
 	setItemEnabled(2, window.isIconifiable());
 	setItemEnabled(3, window.isMaximizable());
 	setItemEnabled(8, window.isClosable());
-
+	setItemEnabled(10, window.isResizable()); // tab option only enabled if resizable
+	
 	sendToMenu.reconfigure();
 	sendGroupToMenu.reconfigure();
 	
-- 
cgit v0.11.2