From 055c0d0d5a5bb0dc75904fe53df7f2e4f5732a8f Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 21 May 2008 09:26:44 +0000
Subject: GF/src is now for 2.9, and the new sources are in src-3.0 - keep it
 this way until the release of GF 3

---
 src-3.0/GF/Fudgets/FudgetOps.hs | 59 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 src-3.0/GF/Fudgets/FudgetOps.hs

(limited to 'src-3.0/GF/Fudgets/FudgetOps.hs')

diff --git a/src-3.0/GF/Fudgets/FudgetOps.hs b/src-3.0/GF/Fudgets/FudgetOps.hs
new file mode 100644
index 000000000..4aba5eec5
--- /dev/null
+++ b/src-3.0/GF/Fudgets/FudgetOps.hs
@@ -0,0 +1,59 @@
+----------------------------------------------------------------------
+-- |
+-- Module      : FudgetOps
+-- Maintainer  : AR
+-- Stability   : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date: 2005/04/21 16:22:17 $ 
+-- > CVS $Author: bringert $
+-- > CVS $Revision: 1.4 $
+--
+-- auxiliary Fudgets for GF syntax editor
+-----------------------------------------------------------------------------
+
+module GF.Fudgets.FudgetOps where
+
+import Fudgets
+
+-- save and display
+
+showAndSaveF fud = (writeFileF >+< textWindowF) >==< saveF fud
+
+saveF :: F a String -> F (Either String a) (Either (String,String) String)
+saveF fud = 
+  absF (saveSP "EMPTY") 
+    >==< 
+  (popupStringInputF "Save" "foo.tmp" "Save to file:" >+< fud)
+
+saveSP :: String -> SP (Either String String) (Either (String,String) String)
+saveSP contents = getSP $ \msg -> case msg of
+  Left  file   -> putSP (Left (file,contents)) (saveSP contents)
+  Right string -> putSP (Right string)         (saveSP string)
+
+textWindowF = writeOutputF
+
+-- | to replace stringInputF by a pop-up slot behind a button
+popupStringInputF :: String -> String -> String -> F String String
+popupStringInputF label deflt msg =
+  mapF snd 
+      >==<
+  (popupSizeP $ stringPopupF deflt)
+      >==<
+  mapF (\_ -> (Just msg,Nothing)) 
+      >==<
+  decentButtonF label
+      >==<
+  mapF (\_ -> Click)
+
+decentButtonF = spacerF (sizeS (Point 80 20)) . buttonF
+
+popupSizeP = spacerF (sizeS (Point 240 100))
+
+--- the Unicode stuff should be inserted here
+
+writeOutputF = moreF >==< mapF lines
+
+writeInputF = stringInputF
+
+
-- 
cgit v1.2.3