equal
deleted
inserted
replaced
6334 |
6334 |
6335 self itemChanged value ifTrue:[ |
6335 self itemChanged value ifTrue:[ |
6336 text := editView contents. |
6336 text := editView contents. |
6337 self fileContentsModel |
6337 self fileContentsModel |
6338 value:(text asText emphasizeAllWith:UserPreferences current emphasisForChangedCode). |
6338 value:(text asText emphasizeAllWith:UserPreferences current emphasisForChangedCode). |
6339 [editView flash] fork. |
6339 editView pushEvent:#flash. |
6340 ] ifFalse:[ |
6340 ] ifFalse:[ |
6341 "/ self fileContentsModel value:text string. |
6341 "/ self fileContentsModel value:text string. |
6342 ]. |
6342 ]. |
6343 editView cursorMovementWhenUpdating:prevCursorBehavior. |
6343 editView cursorMovementWhenUpdating:prevCursorBehavior. |
6344 "/ self fileContentsModel changed:#value. |
6344 "/ self fileContentsModel changed:#value. |
6345 ! |
6345 ! |
6346 |
6346 |