packages feed

leksah 0.8.0.1 → 0.8.0.3

raw patch · 6 files changed

+19/−3 lines, 6 files

Files

data/prefs.lkshp view
@@ -54,6 +54,8 @@                11111 Server IP address :                "127.0.0.1"+End the server with last connection:+               True Packages which are excluded from the modules pane:                [Dependency (PackageName "ghc") AnyVersion] Automatically save all files before building:
data/prefscoll.lkshp view
@@ -6,3 +6,5 @@                Just "http://www.leksah.org" Port number for server connection:                11111+End the server with last connection:+               True
leksah.cabal view
@@ -1,5 +1,5 @@ name: leksah-version: 0.8.0.1+version: 0.8.0.3 cabal-version: >=1.6 build-type: Simple license: GPL
src/IDE/Core/Types.hs view
@@ -357,6 +357,7 @@     ,   sourceDirectories   ::   [FilePath]     ,   unpackDirectory     ::   Maybe FilePath     ,   retreiveURL         ::   Maybe String+    ,   endWithLastConn     ::   Bool } deriving(Eq,Show)  data SearchHint = Forward | Backward | Insert | Delete | Initial
src/IDE/Leksah.hs view
@@ -334,7 +334,8 @@                         (SP.Prefs {SP.sourceDirectories = sourceDirectories newPrefs,                                    SP.unpackDirectory   = unpackDirectory newPrefs,                                    SP.retreiveURL       = retreiveURL newPrefs,-                                   SP.serverPort        = serverPort newPrefs})+                                   SP.serverPort        = serverPort newPrefs,+                                   SP.endWithLastConn   = endWithLastConn newPrefs})                 widgetDestroy dialog                 mainQuit                 firstBuild newPrefs
src/IDE/Pane/Preferences.hs view
@@ -138,7 +138,8 @@                         (SP.Prefs {SP.sourceDirectories = sourceDirectories newPrefs,                                    SP.unpackDirectory   = unpackDirectory newPrefs,                                    SP.retreiveURL       = retreiveURL newPrefs,-                                   SP.serverPort        = serverPort newPrefs})+                                   SP.serverPort        = serverPort newPrefs,+                                   SP.endWithLastConn   = endWithLastConn newPrefs})                     reflectIDE (modifyIDE_ (\ide -> ide{prefs = newPrefs})) ideR )             closeB `onClicked` (reflectIDE (closePane prefsPane >> return ()) ideR )             registerEvent notifier FocusIn (Left (\e -> do@@ -476,6 +477,14 @@             (\b a -> a{serverIP = b})             (stringEditor (\ s -> not $ null s))             (\i -> return ())+    ,   mkFieldPP+            (paraName <<<- ParaName "End the server with last connection" $ emptyParams)+            (PP.text . show)+            boolParser+            endWithLastConn+            (\b a -> a{endWithLastConn = b})+            boolEditor+            (\i -> return ())     ]),     ("Blacklist", VFDPP emptyParams [         mkFieldPP@@ -652,6 +661,7 @@     ,   printBindResult     =   False     ,   serverPort          =   11111     ,   serverIP            =   "127.0.0.1"+    ,   endWithLastConn     =   True     }  -- ------------------------------------------------------------