The Racket repository
052ee14afc
A long time ago, I tried to improve the interactiveness of DrRacket when the contour window was open with the code that is removed in this commit. Looking at it today, it seems clear that this code was buggy (and, now that we've had lots of experience with it, it didn't actually help with interactivity either) The problem is that the code didn't record enough information about the change to the editor in the thunk put into the 'todo' field. It would remember that a particular range was out of date, but it woudln't remember which characters were in that range, so when it would go to copy the characters, it may be getting the wrong characters (since another edit may have happened since the thunk was stored in the todo field) This change also has the side benefit that the time it takes to change the contour window is now being tracked by the colorer, which means that it'll give up a bit sooner coloring less in each go, but hopefully maintaining the interactivity |
||
|---|---|---|
| collects | ||
| doc | ||
| man/man1 | ||
| src | ||
| .gitattributes | ||
| .gitignore | ||
| .mailmap | ||
| README | ||
The Racket programming language =============================== Important executables: * DrRacket: Racket's integrated development environment (start here!). * Racket: the main command-line entry point for running racket programs and scripts. * GRacket: the GUI-mode Racket executable. * raco: Racket's command-line toolset. More Information ---------------- Racket comes with extensive documentation: use DrRacket's `Help' menu, or run `raco docs'. Also, visit us at http://racket-lang.org/ for more Racket resources. Instructions for building Racket from source are in src/README. License ------- Racket Copyright (c) 2010-2012 PLT Scheme Inc. Racket is distributed under the GNU Lesser General Public License (LGPL). This means that you can link Racket into proprietary applications, provided you follow the rules stated in the LGPL. You can also modify Racket; if you distribute a modified version, you must distribute it under the terms of the LGPL, which in particular means that you must release the source code for the modified software. See doc/release-notes/COPYING.txt for more information.