From 889e5a92e4e0c40ab249f9f86d0fa2647132d87a Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 7 Oct 2003 15:17:55 +0000
Subject: Updates for editor. Dummies for hugs.

---
 src/GF/Shell/CommandL.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/GF/Shell/CommandL.hs')

diff --git a/src/GF/Shell/CommandL.hs b/src/GF/Shell/CommandL.hs
index d1ba0f7ba..d470130ab 100644
--- a/src/GF/Shell/CommandL.hs
+++ b/src/GF/Shell/CommandL.hs
@@ -78,9 +78,9 @@ pCommand = pCommandWords . words where
     "c" : s : _   -> CTermCommand s
     "a" : _       -> CRefineRandom --- *a*leatoire
     "m" :  _      -> CMenu
-----    "ml" : s : _  -> changeMenuLanguage s
-----    "ms" : s : _  -> changeMenuSize s
-----    "mt" : s : _  -> changeMenuTyped s
+    "ml" : s : _  -> changeMenuLanguage s
+    "ms" : s : _  -> changeMenuSize s
+    "mt" : s : _  -> changeMenuTyped s
     "v" : _       -> CView
     "q" : _       -> CQuit
     "h" : _       -> CHelp initEditMsg
-- 
cgit v1.2.3