bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959)

This commit is contained in:
Tal Einat 2019-07-27 06:24:37 +03:00 committed by Terry Jan Reedy
parent 91e4957509
commit 46ebd4a6a2

View file

@ -51,7 +51,7 @@ def __init__(self, editwin):
_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