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 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246
|
#----------------------------------------------------------------------
# Name: Preferences.py
# Purpose: Global settings. Populated by resource files *.rc.py
#
# Author: Riaan Booysen
#
# Created: 1999
# RCS-ID: $Id: Preferences.py,v 1.44 2004/08/16 12:48:34 riaan Exp $
# Copyright: (c) 1999 - 2004 Riaan Booysen
# Licence: GPL
#----------------------------------------------------------------------
""" The global preferences module shared by most Boa modules.
This namespace is populated by *.rc.py files from the selected
resource configuration.
The resource config files are version checked and updated from the
resource config files in Config (so that a CVS updated schema will
override old settings in external resource config directories.
Application, Plug-ins and Image paths are initialised and the global ImageStore
is configured.
"""
import os, sys, shutil
from wxPython import wx
#---Paths-----------------------------------------------------------------------
pyPath = sys.path[0] = os.path.abspath(sys.path[0])
sys.path.insert(1, '')
#---Import preference namespace from resource .rc. files------------------------
print 'reading user preferences'
# This cannot be stored as a Preference option for obvious reasons :)
prefsDirName = '.boa-constructor'
if '--OverridePrefsDirName' in sys.argv or '-O' in sys.argv:
try: idx = sys.argv.index('--OverridePrefsDirName')
except ValueError:
try: idx = sys.argv.index('-O')
except ValueError: idx = -1
if idx != -1:
try: prefsDirName = sys.argv[idx + 1]
except IndexError: raise 'OverridePrefsDirName must specify a directory'
print 'using preference directory name', prefsDirName
# To prevent using the HOME env variable run different versions of Boa this flag
# forces Boa to use Preference settings either in the Config dir or in a
# specified rc path
if os.path.isabs(prefsDirName):
rcPath = prefsDirName
elif '--BlockHomePrefs' in sys.argv or '-B' in sys.argv:
print 'ignoring $HOME (if set)'
rcPath = os.path.join(pyPath, prefsDirName)
else:
homeDir = os.environ.get('HOME', None)
if homeDir is not None and os.path.isdir(homeDir):
rcPath = os.path.join(homeDir, prefsDirName)
for fn in ('', 'docs-cache', 'Plug-ins'):
if fn:
pth = os.path.join(rcPath, fn)
else:
pth = rcPath
if not os.path.isdir(pth):
try:
os.mkdir(pth)
print 'Created directory: %s' % pth
except OSError:
# Protected
pass
else:
rcPath = os.path.join(pyPath, prefsDirName)
# fall back to defaults in Config root if .boa-constructor is not available.
if not os.path.isdir(rcPath):
rcPath = os.path.join(pyPath, 'Config')
# no editors for these settings yet, can be redefined in prefs.rc.py if needed
# e.g. wx.wxFont(10, wx.wxDEFAULT, wx.wxNORMAL, wx.wxNORMAL, 0, 'Courier New')
eoErrOutFont = wx.wxNORMAL_FONT
wxPlatforms = {'__WXMSW__': 'msw',
'__WXGTK__': 'gtk',
'__WXMAC__': 'mac'}
thisPlatform = wxPlatforms[wx.wxPlatform]
# upgrade if needed and exec in our namespace
for prefsFile, version in (('prefs.rc.py', 11),
('prefs.%s.rc.py'%thisPlatform, 8),
('prefs.keys.rc.py', 9),
('prefs.plug-ins.rc.py', None)):
file = os.path.join(rcPath, prefsFile)
# first time, install to env dir
if not os.path.exists(file):
shutil.copy2(os.path.join(pyPath, 'Config', prefsFile), file)
# check version
else:
if version is not None:
verline = open(file).readline().strip()
if len(verline) >= 14 and verline[:14] == '## rc-version:':
rcver = int(verline[14:-2])
else:
rcver = 0
if rcver < version:
# backup and copy newest
bkno=0;bkstr=''
while 1:
bkfile = os.path.splitext(file)[0]+'.py~'+bkstr
try:
os.rename(file, bkfile)
except OSError, err:
if err.errno != 17: raise
bkno=bkno+1;bkstr=str(bkno)
else:
break
shutil.copy2(os.path.join(pyPath, 'Config', prefsFile), file)
print 'Preference file %s replaced, previous version backed up to %s'%(
file, bkfile)
execfile(file)
for file in ('Explorer.%s.cfg' % thisPlatform, 'stc-styles.rc.cfg'):
rcFile = os.path.join(rcPath, file)
if not os.path.exists(rcFile):
shutil.copy2(os.path.join(pyPath, 'Config', file), rcFile)
pluginPaths = []
pluginSections = []
installedPlugins = []
failedPlugins = {}
if pluginsEnabled:
pluginPaths.append(os.path.join(pyPath, 'Plug-ins'))
pluginSections.append('plug-ins.root')
# Library plugin path
if extraPluginsPath:
pluginPaths.append(extraPluginsPath)
pluginSections.append('plug-ins.extra')
# User plugin path
if rcPath != pyPath and os.path.isdir(os.path.join(rcPath, 'Plug-ins')):
pluginPaths.append(os.path.join(rcPath, 'Plug-ins'))
pluginSections.append('plug-ins.home')
#---Prefs dependent on user prefs-----------------------------------------------
imageStorePaths = [pyPath]
for ppth in pluginPaths:
imageStorePaths.append(ppth)
import ImageStore
if useImageArchive:
UseImageStore = ImageStore.ZippedImageStore
else:
UseImageStore = ImageStore.ImageStore
IS = UseImageStore(imageStorePaths, cache=useImageCache)
def getPythonInterpreterPath():
if not pythonInterpreterPath:
return sys.executable
else:
return pythonInterpreterPath
#-Window size calculations------------------------------------------------------
# thnx Mike Fletcher
screenWidth = screenHeight = wxDefaultFramePos = wxDefaultFrameSize = \
edWidth = inspWidth = paletteHeight = bottomHeight = underPalette = \
oglBoldFont = oglStdFont = None
def initScreenVars():
global screenWidth, screenHeight, wxDefaultFramePos, wxDefaultFrameSize
global edWidth, inspWidth, paletteHeight, bottomHeight, underPalette
screenWidth = wx.wxSystemSettings_GetSystemMetric(wx.wxSYS_SCREEN_X)
screenHeight = wx.wxSystemSettings_GetSystemMetric(wx.wxSYS_SCREEN_Y)
if wx.wxPlatform == '__WXMSW__':
_x, _y, screenWidth, screenHeight = wxGetClientDisplayRect()
screenHeight -= topMenuHeight
else:
# handle dual monitors on Linux
if screenWidth / screenHeight >= 2:
screenWidth = screenWidth / 2
screenWidth = int(screenWidth - verticalTaskbarWidth)
screenHeight = int(screenHeight - horizontalTaskbarHeight - topMenuHeight)
if wx.wxPlatform == '__WXMSW__':
wxDefaultFramePos = wx.wxDefaultPosition
wxDefaultFrameSize = wx.wxDefaultSize
else:
wxDefaultFramePos = (screenWidth / 4, screenHeight / 4)
wxDefaultFrameSize = (int(round(screenWidth / 1.5)), int(round(screenHeight / 1.5)))
edWidth = int(screenWidth * editorScreenWidthPerc - windowManagerSide * 2)
inspWidth = screenWidth - edWidth + 1 - windowManagerSide * 4
paletteHeight = paletteHeights[paletteStyle]
bottomHeight = screenHeight - paletteHeight
underPalette = paletteHeight + windowManagerTop + windowManagerBottom + topMenuHeight
if wxPlatform == '__WXMSW__':
oglBoldFont = wxFont(7, wxDEFAULT, wxNORMAL, wxBOLD, false)
oglStdFont = wxFont(7, wxDEFAULT, wxNORMAL, wxNORMAL, false)
else:
oglBoldFont = wxFont(12, wxDEFAULT, wxNORMAL, wxBOLD, false)
oglStdFont = wxFont(10, wxDEFAULT, wxNORMAL, wxNORMAL, false)
paletteTitle = 'Boa Constructor'
#-------------------------------------------------------------------------------
# Delays wxApp_Cleanup
#try: sys._wxApp_Cleanup = wx.__cleanMeUp
#except: pass
def cleanup():
IS.cleanup()
g = globals()
cleanWxClasses = (wxColourPtr, wxPointPtr, wxSizePtr, wxFontPtr,
wxPenPtr, wxBrushPtr, wxPen, wxBrush)
for k, v in g.items():
if hasattr(wx, k):
continue
for Class in cleanWxClasses:
if isinstance(v, Class):
g[k] = None
break
import PaletteMapping
PaletteMapping._NB = None
PM = PaletteMapping.PaletteStore
PM.helperClasses = {}
PM.compInfo = {}
PM.newControllers = {}
#-------------------------------------------------------------------------------
|