From 6e9258558a9bcb8c9df4bee0382b5136c95f516a Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 24 Sep 2003 14:26:35 +0000
Subject: Improvements in hte editor.

---
 src/GF/Infra/Option.hs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/GF/Infra')

diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index e81c9cd82..59e9f352a 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -20,6 +20,10 @@ oArg s = s -- value of option argument
 oElem :: Option -> Options -> Bool
 oElem o (Opts os) = elem o os
 
+eqOpt :: String -> Option -> Bool
+eqOpt s (Opt (o, [])) = s == o
+eqOpt s _ = False
+
 type OptFun = String -> Option
 
 getOptVal :: Options -> OptFun -> Maybe String
@@ -164,6 +168,7 @@ absView   = iOpt "Abs"
 useTokenizer   = aOpt "lexer"
 useUntokenizer = aOpt "unlexer"
 useParser      = aOpt "parser"
+withFun        = aOpt "fun"
 firstCat       = aOpt "cat"      -- used on command line
 gStartCat      = aOpt "startcat" -- used in grammar, to avoid clash w res word
 useLanguage    = aOpt "lang"
@@ -182,6 +187,13 @@ noDepTypes     = aOpt "nodeptypes"
 extractGr      = aOpt "extract"
 pathList       = aOpt "path"
 
+markLin        = aOpt "mark"
+markOptXML     = oArg "xml"
+markOptJava    = oArg "java"
+markOptStruct  = oArg "struct"
+markOptFocus   = oArg "focus"
+
+
 -- refinement order
 nextRefine  = aOpt "nextrefine"
 firstRefine = oArg "first"
-- 
cgit v1.2.3