diff options
| author | Just van Rossum <just@letterror.com> | 2001-06-19 21:37:33 (GMT) |
|---|---|---|
| committer | Just van Rossum <just@letterror.com> | 2001-06-19 21:37:33 (GMT) |
| commit | dc3c617cb884d9f12d55c2247f3e6b1b1f55aa36 (patch) | |
| tree | d88d2e9f7f538b58275226944640554f4a46bee5 /Mac/Tools/IDE/PyConsole.py | |
| parent | 9020bcebc875463f1acec1b14949db35e1e68ad6 (diff) | |
| download | cpython-dc3c617cb884d9f12d55c2247f3e6b1b1f55aa36.zip cpython-dc3c617cb884d9f12d55c2247f3e6b1b1f55aa36.tar.gz cpython-dc3c617cb884d9f12d55c2247f3e6b1b1f55aa36.tar.bz2 | |
Some long overdue maintainance. Made all IDE sources 7-bit-clean, to avoid any further encoding conversion troubles.
Diffstat (limited to 'Mac/Tools/IDE/PyConsole.py')
| -rw-r--r-- | Mac/Tools/IDE/PyConsole.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Mac/Tools/IDE/PyConsole.py b/Mac/Tools/IDE/PyConsole.py index ea2cf83..4c32785 100644 --- a/Mac/Tools/IDE/PyConsole.py +++ b/Mac/Tools/IDE/PyConsole.py @@ -48,7 +48,7 @@ class ConsoleTextWidget(W.EditText): def open(self): W.EditText.open(self) - self.write('Python ' + sys.version + '\n' + sys.copyright + '\n') + self.write('Python ' + sys.version + '\nType "copyright", "credits" or "license" for more information.\n') self.write(sys.ps1) self.flush() @@ -156,8 +156,8 @@ class PyConsole(W.Window): def makenamespacemenu(self, *args): W.SetCursor('watch') namespacelist = self.getnamespacelist() - self.namespacemenu.set([("Clear window", self.clearbuffer), ("Font settings", self.dofontsettings), - ["Namespace"] + namespacelist, ("Browse namespace", self.browsenamespace)]) + self.namespacemenu.set([("Clear window", self.clearbuffer), ("Font settings\xc9", self.dofontsettings), + ["Namespace"] + namespacelist, ("Browse namespace\xc9", self.browsenamespace)]) currentname = self.consoletext._namespace["__name__"] for i in range(len(namespacelist)): if namespacelist[i][0] == currentname: @@ -264,7 +264,7 @@ class PyOutput: tabbable = 0) self.w.outputtext = OutputTextWidget((-1, -1, -14, 1), inset = (6, 5), fontsettings = self.fontsettings, tabsettings = self.tabsettings, readonly = 1) - menuitems = [("Clear window", self.clearbuffer), ("Font settings", self.dofontsettings)] + menuitems = [("Clear window", self.clearbuffer), ("Font settings\xc9", self.dofontsettings)] self.w.popupmenu = W.PopupMenu((-15, -1, 16, 16), menuitems) self.w._bary = W.Scrollbar((-15, 14, 16, -14), self.w.outputtext.vscroll, max = 32767) |