leksah 0.8.0.1 → 0.8.0.3
raw patch · 6 files changed
+19/−3 lines, 6 files
Files
- data/prefs.lkshp +2/−0
- data/prefscoll.lkshp +2/−0
- leksah.cabal +1/−1
- src/IDE/Core/Types.hs +1/−0
- src/IDE/Leksah.hs +2/−1
- src/IDE/Pane/Preferences.hs +11/−1
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 } -- ------------------------------------------------------------