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