changeset:   99160:ff31af003c35
branch:      2.7
parent:      99141:017d77d001c5
user:        Terry Jan Reedy <tjreedy@udel.edu>
date:        Mon Nov 16 07:32:19 2015 -0500
files:       Lib/idlelib/EditorWindow.py Lib/idlelib/MultiStatusBar.py
description:
Issue #24750: Improve appearance of IDLE editor window status bar.
Patch by Mark Roseman.


diff -r 017d77d001c5 -r ff31af003c35 Lib/idlelib/EditorWindow.py
--- a/Lib/idlelib/EditorWindow.py	Sat Nov 14 15:12:38 2015 -0800
+++ b/Lib/idlelib/EditorWindow.py	Mon Nov 16 07:32:19 2015 -0500
@@ -184,6 +184,7 @@
                 'name': 'text',
                 'padx': 5,
                 'wrap': 'none',
+                'highlightthickness': 0,
                 'width': self.width,
                 'height': idleConf.GetOption('main', 'EditorWindow', 'height', type='int')}
         if TkVersion >= 8.5:
@@ -410,6 +411,7 @@
 
     def set_status_bar(self):
         self.status_bar = self.MultiStatusBar(self.top)
+        sep = Frame(self.top, height=1, borderwidth=1, background='grey75')
         if sys.platform == "darwin":
             # Insert some padding to avoid obscuring some of the statusbar
             # by the resize widget.
@@ -417,6 +419,7 @@
         self.status_bar.set_label('column', 'Col: ?', side=RIGHT)
         self.status_bar.set_label('line', 'Ln: ?', side=RIGHT)
         self.status_bar.pack(side=BOTTOM, fill=X)
+        sep.pack(side=BOTTOM, fill=X)
         self.text.bind("<<set-line-and-column>>", self.set_line_and_column)
         self.text.event_add("<<set-line-and-column>>",
                             "<KeyRelease>", "<ButtonRelease>")
diff -r 017d77d001c5 -r ff31af003c35 Lib/idlelib/MultiStatusBar.py
--- a/Lib/idlelib/MultiStatusBar.py	Sat Nov 14 15:12:38 2015 -0800
+++ b/Lib/idlelib/MultiStatusBar.py	Mon Nov 16 07:32:19 2015 -0500
@@ -8,13 +8,15 @@
         Frame.__init__(self, master, **kw)
         self.labels = {}
 
-    def set_label(self, name, text='', side=LEFT):
+    def set_label(self, name, text='', side=LEFT, width=0):
         if name not in self.labels:
-            label = Label(self, bd=1, relief=SUNKEN, anchor=W)
-            label.pack(side=side)
+            label = Label(self, borderwidth=0, anchor=W)
+            label.pack(side=side, pady=0, padx=4)
             self.labels[name] = label
         else:
             label = self.labels[name]
+        if width != 0: 
+            label.config(width=width)
         label.config(text=text)
 
 def _multistatus_bar(parent):