(let ((drawing (text-widget-buffer-drawing widget)))
(if (not drawing) (error "No drawing:" widget))
(if (update-drawing screen drawing)
- (begin
- (update-window widget)
- ;; un-override?
+ (fluid-let ((ignore-change-region #t))
(%trace "; redraw finished\n")
- (fluid-let ((ignore-change-region #t))
- (if (display-style/discard-screen-contents? display-style)
- (gtk-widget-queue-draw widget))
- (gdk-window-process-updates (fix-layout-window widget) #f))
+ (update-window widget)
+ (if (display-style/discard-screen-contents? display-style)
+ (gtk-widget-queue-draw widget))
+ (gdk-window-process-updates (fix-layout-window widget) #f)
#t)
(begin
(%trace "; redraw aborted\n")