bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959)
(cherry picked from commit 46ebd4a6a2
)
Co-authored-by: Tal Einat <taleinat@gmail.com>
This commit is contained in:
parent
4b6421c61e
commit
9e7697b3c5
|
@ -51,7 +51,7 @@ class BaseSideBar:
|
||||||
|
|
||||||
_padx, pady = get_widget_padding(self.text)
|
_padx, pady = get_widget_padding(self.text)
|
||||||
self.sidebar_text = tk.Text(self.parent, width=1, wrap=tk.NONE,
|
self.sidebar_text = tk.Text(self.parent, width=1, wrap=tk.NONE,
|
||||||
padx=0, pady=pady,
|
padx=2, pady=pady,
|
||||||
borderwidth=0, highlightthickness=0)
|
borderwidth=0, highlightthickness=0)
|
||||||
self.sidebar_text.config(state=tk.DISABLED)
|
self.sidebar_text.config(state=tk.DISABLED)
|
||||||
self.text['yscrollcommand'] = self.redirect_yscroll_event
|
self.text['yscrollcommand'] = self.redirect_yscroll_event
|
||||||
|
|
Loading…
Reference in New Issue