diff options
| author | Just van Rossum <just@letterror.com> | 2001-11-02 22:55:15 (GMT) |
|---|---|---|
| committer | Just van Rossum <just@letterror.com> | 2001-11-02 22:55:15 (GMT) |
| commit | 6b45b1ee52091a0adf2abee3b244c0b0b69da6da (patch) | |
| tree | 9ee43d2c5ec44dd108ce1f852e9a2ea4500df261 /Mac/Tools/IDE | |
| parent | 2dd4d1600a620e99a4e7b6b8a3f35a48c06adce1 (diff) | |
| download | cpython-6b45b1ee52091a0adf2abee3b244c0b0b69da6da.zip cpython-6b45b1ee52091a0adf2abee3b244c0b0b69da6da.tar.gz cpython-6b45b1ee52091a0adf2abee3b244c0b0b69da6da.tar.bz2 | |
macdinking
Diffstat (limited to 'Mac/Tools/IDE')
| -rw-r--r-- | Mac/Tools/IDE/ModuleBrowser.py | 11 | ||||
| -rw-r--r-- | Mac/Tools/IDE/PyEdit.py | 8 |
2 files changed, 9 insertions, 10 deletions
diff --git a/Mac/Tools/IDE/ModuleBrowser.py b/Mac/Tools/IDE/ModuleBrowser.py index 700c2b1..0e8850f 100644 --- a/Mac/Tools/IDE/ModuleBrowser.py +++ b/Mac/Tools/IDE/ModuleBrowser.py @@ -10,13 +10,12 @@ class _modulebrowser: def __init__(self): self.editmodules = [] self.modules = [] - self.window = W.Window((194, 1000), "Module Browser", minsize = (194, 160), maxsize = (340, 20000)) + self.window = W.Window((210, 1000), "Module Browser", minsize = (210, 160), maxsize = (340, 20000)) - #self.window.bevelbox = W.BevelBox((0, 0, 0, 56)) - self.window.openbutton = W.Button((10, 8, 80, 16), "Open", self.openbuttonhit) - self.window.browsebutton = W.Button((100, 8, 80, 16), "Browse\xc9", self.browsebuttonhit) - self.window.reloadbutton = W.Button((10, 32, 80, 16), "Reload", self.reloadbuttonhit) - self.window.openotherbutton = W.Button((100, 32, 80, 16), "Open other\xc9", self.openother) + self.window.openbutton = W.Button((10, 8, 90, 16), "Open", self.openbuttonhit) + self.window.browsebutton = W.Button((110, 8, 90, 16), "Browse\xc9", self.browsebuttonhit) + self.window.reloadbutton = W.Button((10, 32, 90, 16), "Reload", self.reloadbuttonhit) + self.window.openotherbutton = W.Button((110, 32, 90, 16), "Open other\xc9", self.openother) self.window.openbutton.enable(0) self.window.reloadbutton.enable(0) diff --git a/Mac/Tools/IDE/PyEdit.py b/Mac/Tools/IDE/PyEdit.py index 8d163ed..1bebe6e 100644 --- a/Mac/Tools/IDE/PyEdit.py +++ b/Mac/Tools/IDE/PyEdit.py @@ -174,7 +174,7 @@ class Editor(W.Window): return '<%s>' % self.title def setupwidgets(self, text): - topbarheight = 24 + topbarheight = 28 popfieldwidth = 80 self.lastlineno = None @@ -197,9 +197,9 @@ class Editor(W.Window): self.bevelbox = W.BevelBox((0, 0, 0, topbarheight)) self.hline = W.HorizontalLine((0, topbarheight, 0, 0)) - self.infotext = W.TextBox((175, 6, -4, 14), backgroundcolor = (0xe000, 0xe000, 0xe000)) - self.runbutton = W.Button((5, 4, 80, 16), runButtonLabels[0], self.run) - self.runselbutton = W.Button((90, 4, 80, 16), runSelButtonLabels[0], self.runselection) + self.infotext = W.TextBox((175, 7, -4, 14), backgroundcolor = (0xe000, 0xe000, 0xe000)) + self.runbutton = W.Button((6, 5, 60, 16), runButtonLabels[0], self.run) + self.runselbutton = W.Button((78, 5, 90, 16), runSelButtonLabels[0], self.runselection) # bind some keys editor.bind("cmdr", self.runbutton.push) |