--- a/etc/options Sat Sep 22 14:03:01 2012 +0200
+++ b/etc/options Sat Sep 22 14:41:41 2012 +0200
@@ -95,3 +95,5 @@
option editor_update_delay : real = 0.5
-- "delay for physical GUI updates"
+option editor_reparse_limit : int = 10000
+ -- "maximum amount of reparsed text outside perspective"