diff options
| author | Jack Jansen <jack.jansen@cwi.nl> | 2000-05-05 23:11:14 (GMT) |
|---|---|---|
| committer | Jack Jansen <jack.jansen@cwi.nl> | 2000-05-05 23:11:14 (GMT) |
| commit | 0c6d037cc5f53420d519f108eaa4a7cdd76379bf (patch) | |
| tree | aa01d18dfb50df7de65badc2ce61ab6bf31247ea /Mac/Lib/pythonprefs.py | |
| parent | 1fdadcd42cd430d6e77c1df1ed1df777ca3ff4a2 (diff) | |
| download | cpython-0c6d037cc5f53420d519f108eaa4a7cdd76379bf.zip cpython-0c6d037cc5f53420d519f108eaa4a7cdd76379bf.tar.gz cpython-0c6d037cc5f53420d519f108eaa4a7cdd76379bf.tar.bz2 | |
Removed string-exception preference, added tabcheck and NavService preference, upped version number.
Diffstat (limited to 'Mac/Lib/pythonprefs.py')
| -rw-r--r-- | Mac/Lib/pythonprefs.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Mac/Lib/pythonprefs.py b/Mac/Lib/pythonprefs.py index 40a2dd2..916ec9f 100644 --- a/Mac/Lib/pythonprefs.py +++ b/Mac/Lib/pythonprefs.py @@ -16,14 +16,14 @@ OVERRIDE_POPT_ID = 229 OVERRIDE_GUSI_ID = 10241 # version -CUR_VERSION=4 +CUR_VERSION=5 preffilename = PstringLoader(AnyResLoader('STR ', resname=PREFNAME_NAME)).load() pref_fss = preferencefile(preffilename, 'Pyth', 'pref') class PoptLoader(VersionLoader): def __init__(self, loader): - VersionLoader.__init__(self, "bbbbbbbbbbbb", loader) + VersionLoader.__init__(self, "bbbbbbbbbbbbb", loader) def versioncheck(self, data): if data[0] == CUR_VERSION: @@ -89,8 +89,8 @@ class PythonOptions: flags = self.popt.load() dict['version'], dict['inspect'], dict['verbose'], dict['optimize'], \ dict['unbuffered'], dict['debugging'], dict['keepopen'], dict['keeperror'], \ - dict['nointopt'], dict['noargs'], dict['oldexc'], \ - dict['nosite'] = flags + dict['nointopt'], dict['noargs'], dict['tabwarn'], \ + dict['nosite'], dict['nonavservice'] = flags return dict def save(self, dict): @@ -100,8 +100,8 @@ class PythonOptions: self.gusi.save((dict['creator'], dict['type'], dict['delayconsole'])) flags = dict['version'], dict['inspect'], dict['verbose'], dict['optimize'], \ dict['unbuffered'], dict['debugging'], dict['keepopen'], dict['keeperror'], \ - dict['nointopt'], dict['noargs'], dict['oldexc'], \ - dict['nosite'] + dict['nointopt'], dict['noargs'], dict['tabwarn'], \ + dict['nosite'], dict['nonavservice'] self.popt.save(flags) def AppletOptions(file): |