]> granicus.if.org Git - python/commitdiff
bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959)
authorTal Einat <taleinat@gmail.com>
Sat, 27 Jul 2019 03:24:37 +0000 (06:24 +0300)
committerTerry Jan Reedy <tjreedy@udel.edu>
Sat, 27 Jul 2019 03:24:36 +0000 (23:24 -0400)
Lib/idlelib/sidebar.py

index 8f9bf80b5260558845588d8d9f6e53de88c72154..76964a4cdfbe26557f1d6118c65d575e465dacba 100644 (file)
@@ -51,7 +51,7 @@ class BaseSideBar:
 
         _padx, pady = get_widget_padding(self.text)
         self.sidebar_text = tk.Text(self.parent, width=1, wrap=tk.NONE,
-                                    padx=0, pady=pady,
+                                    padx=2, pady=pady,
                                     borderwidth=0, highlightthickness=0)
         self.sidebar_text.config(state=tk.DISABLED)
         self.text['yscrollcommand'] = self.redirect_yscroll_event