bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14… · python/cpython@9e7697b

Original file line numberDiff line numberDiff line change

@@ -51,7 +51,7 @@ def __init__(self, editwin):

5151
5252

_padx, pady = get_widget_padding(self.text)

5353

self.sidebar_text = tk.Text(self.parent, width=1, wrap=tk.NONE,

54-

padx=0, pady=pady,

54+

padx=2, pady=pady,

5555

borderwidth=0, highlightthickness=0)

5656

self.sidebar_text.config(state=tk.DISABLED)

5757

self.text['yscrollcommand'] = self.redirect_yscroll_event