summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/asymptote/GUI/xasyOptions.py
blob: 4406687cbf49e79515ae2e50975cda7531dd4e71 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
#!/usr/bin/env python
###########################################################################
#
# xasyOptions provides a mechanism for storing and restoring a user's
# preferences.
#
#
# Author: Orest Shardt
# Created: June 29, 2007
#
###########################################################################

import pickle
import sys,os
import errno

defaultOptions = {
    'asyPath':'asy',
    'showDebug':False,
    'showGrid':False,
    'gridX':10,
    'gridY':10,
    'gridColor':'#eeeeee',
    'showAxes':True,
    'axisX':10,
    'axisY':10,
    'axesColor':'#cccccc',
    'tickColor':'#eeeeee',
    'defPenOptions':'',
    'defPenColor':'#000000',
    'defPenWidth':1.0,
    'externalEditor':''
  }

if sys.platform[:3] == "win":
  defaultOptions['externalEditor'] = "notepad.exe"
else:
  defaultOptions['externalEditor'] = "emacs"


options = defaultOptions.copy()

def settingsFileLocation():
  folder = ""
  try:
    folder = os.path.expanduser("~/.asy/")
  except:
    pass
  return os.path.normcase(os.path.join(folder,"xasy.conf"))

def setAsyPathFromWindowsRegistry():
  try:
    import _winreg as registry
    #test both registry locations
    try:
      key = registry.OpenKey(registry.HKEY_LOCAL_MACHINE,"Software\\Microsoft\\Windows\\CurrentVersion\\App Paths\\Asymptote")
      options['asyPath'] = registry.QueryValueEx(key,"Path")[0]+"\\asy.exe"
      registry.CloseKey(key)
    except:
      key = registry.OpenKey(registry.HKEY_LOCAL_MACHINE,"Software\\Microsoft\\Windows\\CurrentVersion\\Uninstall\\Asymptote")
      options['asyPath'] = registry.QueryValueEx(key,"InstallLocation")[0]+"\\asy.exe"
      registry.CloseKey(key)
  except:
    #looks like asy is not installed or this isn't Windows
    pass

def setDefaults():
  global options
  options = defaultOptions.copy()
  if sys.platform[:3] == 'win': #for windows, wince, win32, etc
    setAsyPathFromWindowsRegistry()
  save()

def load():
  global options
  fileName = settingsFileLocation()
  if not os.path.exists(fileName):
    #make folder
    thedir = os.path.dirname(fileName)
    if not os.path.exists(thedir):
      try:
        os.makedirs(thedir)
      except:
        raise Exception,"Could not create configuration folder"
    if not os.path.isdir(thedir):
      raise Exception,"Configuration folder path does not point to a folder"
    setDefaults()
  try:
    f = open(fileName,"rb")
    newOptions = pickle.load(f)
    for key in options.keys():
      if type(newOptions[key]) != type(options[key]):
        raise Exception,"Bad type for entry in xasy settings"
    options = newOptions
  except:
    setDefaults()

def save():
  global options
  fileName = settingsFileLocation()
  try:
    f = open(fileName,"wb")
    pickle.dump(options,f)
    f.close()
  except:
    raise Exception,"Error saving preferences"

load()

if __name__=='__main__':
  print settingsFileLocation()
  print "Current content"
  load()
  print "Setting defaults"
  setDefaults()
  save()
  load()
  options['showAxes'] = options['showGrid'] = False
  save()
  print "Set to False"
  load()
  options['showAxes'] = options['showGrid'] = True
  save()
  print "Set to True"
  load()
  print options