fixed a problem John identified on the plt mailing list
svn: r17841
This commit is contained in:
parent
f07c19b268
commit
bf451cbc0b
|
@ -1618,6 +1618,7 @@ TODO
|
|||
(reset-regions (list (list (last-position) (last-position))))
|
||||
(set-unread-start-point (last-position))
|
||||
(set-insertion-point (last-position))
|
||||
(set! indenting-limit (last-position))
|
||||
(set-allow-edits #f)
|
||||
(set! repl-header-end #f)
|
||||
(end-edit-sequence))
|
||||
|
@ -1653,6 +1654,12 @@ TODO
|
|||
(end-edit-sequence)
|
||||
(clear-undos))
|
||||
|
||||
(define indenting-limit 0)
|
||||
(define/override (get-limit n)
|
||||
(cond
|
||||
[(< n indenting-limit) 0]
|
||||
[else indenting-limit]))
|
||||
|
||||
;; avoid calling paragraph-start-position very often.
|
||||
(define repl-header-end #f)
|
||||
(define/private (get-repl-header-end)
|
||||
|
|
Loading…
Reference in New Issue
Block a user