macdinking

diff --git a/Mac/Tools/IDE/ModuleBrowser.py b/Mac/Tools/IDE/ModuleBrowser.py
index 700c2b12d50dc8508e0f333f41672be61afd278b..0e8850fc8a22648c101aaa39fef7cf20b728a57d 100644 (file)
--- 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 8d163ed14d380b66f8cf5a10008974ff7328d5fc..1bebe6ee90e8aabcde30548c927b2ec93e633152 100644 (file)
--- 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)