This repository has been archived on 2018-07-26. You can view files and clone it, but cannot push or open issues or pull requests.
2018-07-20 19:20:55 +00:00
|
|
|
import json
|
|
|
|
|
|
|
|
def toJSONFile(obj,filename):
|
|
|
|
with open(filename,"w") as f:
|
2018-07-20 19:48:06 +00:00
|
|
|
json.dump(obj,f,indent="\t")
|
2018-07-20 19:20:55 +00:00
|
|
|
|
|
|
|
def fromJSONFile(filename):
|
|
|
|
with open(filename) as f:
|
|
|
|
return json.load(f)
|
|
|
|
|
|
|
|
class Preferences:
|
|
|
|
def __init__(self,filename):
|
|
|
|
self.data = fromJSONFile(filename)
|
|
|
|
self.filename = filename
|
|
|
|
|
|
|
|
def get(self,id,default=None):
|
|
|
|
if id not in self.data.keys():
|
|
|
|
return default
|
|
|
|
else:
|
|
|
|
return self.data[id]
|
|
|
|
|
|
|
|
def set(self,id,val):
|
|
|
|
self.data[id] = val
|
|
|
|
toJSONFile(self.data,self.filename)
|