DrDr properties
svn: r16327 original commit: 2690ee8beecb05025cbd7c3e196c2545f28e63ed
This commit is contained in:
parent
877b54dea9
commit
8f88331a72
|
@ -72,15 +72,15 @@ is being reset.
|
|||
; (super on-insert start len)
|
||||
; (end-edit-sequence))
|
||||
|
||||
(define/override (after-insert start len)
|
||||
(define/augment (after-insert start len)
|
||||
(alert-of-modify)
|
||||
;(begin-edit-sequence)
|
||||
(super after-insert start len)
|
||||
#;(super after-insert start len)
|
||||
;(end-edit-sequence)
|
||||
)
|
||||
(define/override (after-delete start len)
|
||||
(define/augment (after-delete start len)
|
||||
(alert-of-modify)
|
||||
(super after-delete start len))
|
||||
#;(super after-delete start len))
|
||||
(super-new)))
|
||||
|
||||
(define program-editor%
|
||||
|
|
Loading…
Reference in New Issue
Block a user