2015-06-16 06:09:16 +12:00
|
|
|
# -*- coding: utf-8 -*-
|
|
|
|
|
|
|
|
import pickle
|
|
|
|
import pprint
|
|
|
|
|
|
|
|
viewSettings = {
|
|
|
|
"Tree": {
|
|
|
|
"Icon": "Nothing",
|
|
|
|
"Text": "Compile",
|
|
|
|
"Background": "Nothing",
|
|
|
|
},
|
|
|
|
"Cork": {
|
|
|
|
"Icon": "Nothing",
|
|
|
|
"Text": "Nothing",
|
|
|
|
"Background": "Nothing",
|
|
|
|
"Corner": "Label",
|
|
|
|
"Border": "Nothing",
|
|
|
|
},
|
|
|
|
"Outline": {
|
|
|
|
"Icon": "Nothing",
|
|
|
|
"Text": "Compile",
|
|
|
|
"Background": "Nothing",
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
|
|
|
spellcheck = False
|
|
|
|
dict = None
|
|
|
|
corkSizeFactor = 100
|
|
|
|
folderView = "cork"
|
2015-06-16 06:30:18 +12:00
|
|
|
lastTab = 0
|
|
|
|
lastIndex = ""
|
2015-06-17 19:33:25 +12:00
|
|
|
autoSave = True
|
|
|
|
autoSaveDelay = 5
|
|
|
|
saveOnQuit = True
|
2015-06-16 06:09:16 +12:00
|
|
|
|
2015-06-17 23:25:46 +12:00
|
|
|
def save(filename=None):
|
2015-06-16 06:09:16 +12:00
|
|
|
|
2015-06-17 19:33:25 +12:00
|
|
|
global spellcheck, dict, corkSliderFactor, viewSettings, corkSizeFactor, folderView, lastTab, lastIndex, \
|
|
|
|
autoSave, autoSaveDelay, saveOnQuit
|
2015-06-16 06:09:16 +12:00
|
|
|
|
|
|
|
allSettings = {
|
|
|
|
"viewSettings": viewSettings,
|
|
|
|
"dict": dict,
|
|
|
|
"spellcheck": spellcheck,
|
|
|
|
"corkSizeFactor": corkSizeFactor,
|
2015-06-16 06:30:18 +12:00
|
|
|
"folderView": folderView,
|
|
|
|
"lastTab": lastTab,
|
2015-06-17 19:33:25 +12:00
|
|
|
"lastIndex": lastIndex,
|
|
|
|
"autoSave":autoSave,
|
|
|
|
"autoSaveDelay":autoSaveDelay,
|
|
|
|
"saveOnQuit":saveOnQuit,
|
2015-06-16 06:09:16 +12:00
|
|
|
}
|
|
|
|
|
|
|
|
#pp=pprint.PrettyPrinter(indent=4, compact=False)
|
|
|
|
#print("Saving:")
|
|
|
|
#pp.pprint(allSettings)
|
|
|
|
|
2015-06-17 23:25:46 +12:00
|
|
|
if filename:
|
|
|
|
f = open(filename, "wb")
|
|
|
|
pickle.dump(allSettings, f)
|
|
|
|
else:
|
|
|
|
return pickle.dumps(allSettings)
|
2015-06-16 06:09:16 +12:00
|
|
|
|
2015-06-17 23:25:46 +12:00
|
|
|
def load(string, fromString=False):
|
|
|
|
"""Load settings from 'string'. 'string' is the filename of the pickle dump.
|
|
|
|
If fromString=True, string is the data of the pickle dumps."""
|
|
|
|
global allSettings
|
|
|
|
|
|
|
|
if not fromString:
|
|
|
|
try:
|
|
|
|
f = open(string, "rb")
|
|
|
|
allSettings = pickle.load(f)
|
|
|
|
|
|
|
|
except:
|
|
|
|
print("{} doesn't exist, cannot load settings.".format(string))
|
|
|
|
return
|
|
|
|
else:
|
|
|
|
allSettings = pickle.loads(string)
|
2015-06-16 06:09:16 +12:00
|
|
|
|
|
|
|
#pp=pprint.PrettyPrinter(indent=4, compact=False)
|
|
|
|
#print("Loading:")
|
|
|
|
#pp.pprint(allSettings)
|
|
|
|
|
|
|
|
if "viewSettings" in allSettings:
|
|
|
|
global viewSettings
|
|
|
|
viewSettings = allSettings["viewSettings"]
|
|
|
|
|
|
|
|
if "dict" in allSettings:
|
|
|
|
global dict
|
|
|
|
dict = allSettings["dict"]
|
|
|
|
|
|
|
|
if "spellcheck" in allSettings:
|
|
|
|
global spellcheck
|
|
|
|
spellcheck = allSettings["spellcheck"]
|
|
|
|
|
|
|
|
if "corkSizeFactor" in allSettings:
|
|
|
|
global corkSizeFactor
|
|
|
|
corkSizeFactor = allSettings["corkSizeFactor"]
|
|
|
|
|
|
|
|
if "folderView" in allSettings:
|
|
|
|
global folderView
|
|
|
|
folderView = allSettings["folderView"]
|
|
|
|
|
2015-06-16 06:30:18 +12:00
|
|
|
if "lastTab" in allSettings:
|
|
|
|
global lastTab
|
|
|
|
lastTab = allSettings["lastTab"]
|
|
|
|
|
|
|
|
if "lastIndex" in allSettings:
|
|
|
|
global lastIndex
|
|
|
|
lastIndex = allSettings["lastIndex"]
|
|
|
|
|
2015-06-17 19:33:25 +12:00
|
|
|
if "autoSave" in allSettings:
|
|
|
|
global autoSave
|
|
|
|
autoSave = allSettings["autoSave"]
|
|
|
|
|
|
|
|
if "autoSaveDelay" in allSettings:
|
|
|
|
global autoSaveDelay
|
|
|
|
autoSaveDelay = allSettings["autoSaveDelay"]
|
|
|
|
|
|
|
|
if "saveOnQuit" in allSettings:
|
|
|
|
global saveOnQuit
|
|
|
|
saveOnQuit = allSettings["saveOnQuit"]
|
|
|
|
|
2015-06-16 06:09:16 +12:00
|
|
|
|
|
|
|
|