..
original commit: 72c0e4c4c0ecafe65215fb0ac199a7ff979113d4
This commit is contained in:
parent
5adacd87a6
commit
d553228b36
|
@ -559,6 +559,9 @@
|
|||
(make-hash-table)
|
||||
#f))
|
||||
(when delegate
|
||||
(refresh-delegate)))
|
||||
|
||||
(define/private (refresh-delegate)
|
||||
(send delegate begin-edit-sequence)
|
||||
(send delegate lock #f)
|
||||
(when (is-a? this scheme:text<%>)
|
||||
|
@ -585,7 +588,7 @@
|
|||
'high))
|
||||
(reverse (get-highlighted-ranges)))
|
||||
(send delegate lock #t)
|
||||
(send delegate end-edit-sequence)))
|
||||
(send delegate end-edit-sequence))
|
||||
|
||||
(rename [super-highlight-range highlight-range])
|
||||
(define/override highlight-range
|
||||
|
@ -683,12 +686,7 @@
|
|||
(define/override (after-load-file success?)
|
||||
(super-after-load-file success?)
|
||||
(when (and delegate success?)
|
||||
(send delegate begin-edit-sequence)
|
||||
(send delegate lock #f)
|
||||
(send delegate load-file/gui-error filename format)
|
||||
(send delegate set-filename #f)
|
||||
(send delegate lock #t)
|
||||
(send delegate end-edit-sequence)))
|
||||
(refresh-delegate)))
|
||||
(super-instantiate ())))
|
||||
|
||||
(define info<%> (interface (basic<%>)))
|
||||
|
|
Loading…
Reference in New Issue
Block a user