Posted 14 years ago
by Martin
-
Blaise - Statistics Netherlands
![Avatar](https://secure.gravatar.com/avatar/75cb163720be8a933735c7cda760288d.jpg?s=64&d=identicon&r=g)
Is it possible to change/extend the time between modifying the source by typing and the call to the lexer and/or parser. For large documents we want to postpone the parsing for better performance.
Greetz
Martin
Greetz
Martin