diff options
| author | Just van Rossum <just@letterror.com> | 2001-11-18 14:12:43 (GMT) |
|---|---|---|
| committer | Just van Rossum <just@letterror.com> | 2001-11-18 14:12:43 (GMT) |
| commit | f376ef0996974c30f608020427fead6edb66877d (patch) | |
| tree | 35790707ba2d5acde5735c5a4f0e3acf17f2a880 /Mac/Tools/IDE/PyEdit.py | |
| parent | ebbd14d7c208cda1bfc0f169a48a9dcd54a7dcfd (diff) | |
| download | cpython-f376ef0996974c30f608020427fead6edb66877d.zip cpython-f376ef0996974c30f608020427fead6edb66877d.tar.gz cpython-f376ef0996974c30f608020427fead6edb66877d.tar.bz2 | |
a whole bunch of OSX tweaks
Diffstat (limited to 'Mac/Tools/IDE/PyEdit.py')
| -rw-r--r-- | Mac/Tools/IDE/PyEdit.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Mac/Tools/IDE/PyEdit.py b/Mac/Tools/IDE/PyEdit.py index 1bebe6e..828b697 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 = 28 + topbarheight = 24 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, 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) + self.infotext = W.TextBox((175, 6, -4, 14), backgroundcolor = (0xe000, 0xe000, 0xe000)) + self.runbutton = W.BevelButton((6, 4, 80, 16), runButtonLabels[0], self.run) + self.runselbutton = W.BevelButton((90, 4, 80, 16), runSelButtonLabels[0], self.runselection) # bind some keys editor.bind("cmdr", self.runbutton.push) @@ -801,6 +801,7 @@ def _makewholewordpattern(word): pattern = pattern + notwordcharspat return re.compile(pattern) + class SearchEngine: def __init__(self): |