enable undo for simple MrEd editor app
svn: r1783
This commit is contained in:
parent
482b995053
commit
f887288be0
|
@ -152,6 +152,8 @@
|
||||||
(if (regexp-match "[.](gif|bmp|jpe?g|xbm|xpm|png)$" file)
|
(if (regexp-match "[.](gif|bmp|jpe?g|xbm|xpm|png)$" file)
|
||||||
(send e insert (make-object image-snip% file))
|
(send e insert (make-object image-snip% file))
|
||||||
(send e load-file file)))
|
(send e load-file file)))
|
||||||
|
|
||||||
|
(send e set-max-undo-history 'forever)
|
||||||
|
|
||||||
(send f show #t)
|
(send f show #t)
|
||||||
f)))
|
f)))
|
||||||
|
|
|
@ -226,6 +226,7 @@
|
||||||
load-file
|
load-file
|
||||||
insert-port
|
insert-port
|
||||||
save-port
|
save-port
|
||||||
|
get-default-style-name
|
||||||
get-flattened-text
|
get-flattened-text
|
||||||
put-file
|
put-file
|
||||||
get-file
|
get-file
|
||||||
|
@ -885,6 +886,7 @@
|
||||||
get-end-position
|
get-end-position
|
||||||
get-start-position
|
get-start-position
|
||||||
get-position
|
get-position
|
||||||
|
get-default-style-name
|
||||||
get-flattened-text
|
get-flattened-text
|
||||||
put-file
|
put-file
|
||||||
get-file
|
get-file
|
||||||
|
@ -987,6 +989,7 @@
|
||||||
get)
|
get)
|
||||||
(define-class editor-stream-out% object% #f
|
(define-class editor-stream-out% object% #f
|
||||||
ok?
|
ok?
|
||||||
|
pretty-finish
|
||||||
jump-to
|
jump-to
|
||||||
tell
|
tell
|
||||||
put-fixed
|
put-fixed
|
||||||
|
@ -1094,6 +1097,7 @@
|
||||||
do-copy
|
do-copy
|
||||||
delete
|
delete
|
||||||
insert
|
insert
|
||||||
|
get-default-style-name
|
||||||
get-flattened-text
|
get-flattened-text
|
||||||
put-file
|
put-file
|
||||||
get-file
|
get-file
|
||||||
|
|
Loading…
Reference in New Issue
Block a user