suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove call to 'time'

Browse Source 
Please add to 6.1 release branch

original commit: cdd06f108ca7ecb2ce4a1a471566b0863a2a4fad
This commit is contained in:
Robby Findler 2014-07-22 18:17:08 -05:00
parent d734fe9449
commit 1740b64498
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/gui-pkgs/gui-lib/framework/private/color.rkt
View File

@ -1232,9 +1232,9 @@ added get-regions
(define/augment (after-delete edit-start-pos change-length)
;;(printf "(after-delete ~a ~a)\n" edit-start-pos change-length)
(when misspelled-regions
(time (interval-map-contract! misspelled-regions
edit-start-pos
(+ edit-start-pos change-length))))
(interval-map-contract! misspelled-regions
edit-start-pos
(+ edit-start-pos change-length)))
(do-insert/delete edit-start-pos (- change-length))
(inner (void) after-delete edit-start-pos change-length))