From ce80a56d59ad24bc1b0f0c8a7822e230e4466a8a Mon Sep 17 00:00:00 2001 From: Tal Einat Date: Fri, 26 Jul 2019 16:13:20 +0300 Subject: [PATCH] increase line numbers horizontal padding by 2 pixels --- Lib/idlelib/sidebar.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Lib/idlelib/sidebar.py b/Lib/idlelib/sidebar.py index 8f9bf80b5260558..76964a4cdfbe265 100644 --- a/Lib/idlelib/sidebar.py +++ b/Lib/idlelib/sidebar.py @@ -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