summaryrefslogtreecommitdiffstats
path: root/Mac/Tools/IDE/ModuleBrowser.py
diff options
context:
space:
mode:
authorJust van Rossum <just@letterror.com>2001-11-02 22:55:15 (GMT)
committerJust van Rossum <just@letterror.com>2001-11-02 22:55:15 (GMT)
commit6b45b1ee52091a0adf2abee3b244c0b0b69da6da (patch)
tree9ee43d2c5ec44dd108ce1f852e9a2ea4500df261 /Mac/Tools/IDE/ModuleBrowser.py
parent2dd4d1600a620e99a4e7b6b8a3f35a48c06adce1 (diff)
downloadcpython-6b45b1ee52091a0adf2abee3b244c0b0b69da6da.zip
cpython-6b45b1ee52091a0adf2abee3b244c0b0b69da6da.tar.gz
cpython-6b45b1ee52091a0adf2abee3b244c0b0b69da6da.tar.bz2
macdinking
Diffstat (limited to 'Mac/Tools/IDE/ModuleBrowser.py')
-rw-r--r--Mac/Tools/IDE/ModuleBrowser.py11
1 files changed, 5 insertions, 6 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)