Open nea opened 7 years ago
A setting of milliseconds how long to wait after a keystroke before refreshing the renderer, to optimize live editing in larger documents.
A setting of milliseconds how long to wait after a keystroke before refreshing the renderer, to optimize live editing in larger documents.