Skip to content

Commit

Permalink
always update the padding on style-change notify
Browse files Browse the repository at this point in the history
as it looks like we might not get that #false passed in if
the style change isn't happening in a nested fashion
  • Loading branch information
rfindler committed Jan 9, 2024
1 parent 8409105 commit 8fd03ce
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions gui-lib/framework/private/text-line-numbers.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -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)]))
Expand All @@ -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)]
Expand Down

0 comments on commit 8fd03ce

Please sign in to comment.