fixed PR 8138
svn: r3432
This commit is contained in:
parent
18cf27ac40
commit
d74f28ace8
|
@ -664,9 +664,9 @@ profile todo:
|
||||||
(when frame
|
(when frame
|
||||||
(send frame show #t))
|
(send frame show #t))
|
||||||
(when (and rep editor)
|
(when (and rep editor)
|
||||||
(cond
|
(when (is-a? editor text:basic<%>)
|
||||||
[(is-a? editor text:basic<%>)
|
(send rep highlight-error editor position (+ position span))
|
||||||
(send rep highlight-error editor position (+ position span))]))))
|
(send editor set-caret-owner #f 'global)))))
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user