From 8fd03ce42dbc704e2c7481cccfa34ef5c5df2066 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 9 Jan 2024 14:32:36 -0600 Subject: [PATCH] always update the padding on style-change notify as it looks like we might not get that #false passed in if the style change isn't happening in a nested fashion --- gui-lib/framework/private/text-line-numbers.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gui-lib/framework/private/text-line-numbers.rkt b/gui-lib/framework/private/text-line-numbers.rkt index eb1d8192e..1d84b47ae 100644 --- a/gui-lib/framework/private/text-line-numbers.rkt +++ b/gui-lib/framework/private/text-line-numbers.rkt @@ -67,8 +67,8 @@ (send padding-dc set-font (get-style-font)) (define-values (padding-left padding-top padding-right padding-bottom) (get-padding)) (define new-padding (text-width padding-dc (number-space+1))) - (set-padding new-padding 0 0 0) (unless (= padding-left new-padding) + (set-padding new-padding 0 0 0) (invalidate-bitmap-cache))] [else (set-padding 0 0 0 0)])) @@ -95,7 +95,7 @@ (define notify-registered-in-list #f) (define style-change-notify - (lambda (style) (unless style (setup-padding)))) + (lambda (style) (setup-padding))) (define/private (get-style) (let* ([style-list (editor:get-standard-style-list)]