cloose/CuteMarkEd — pull request #41 by cloose (2013-08-05 10:04:21+00:00)
Title: Feature/improve performance #40

Improve UI performance by skipping tasks in the processing queue of HtmlPreviewGenerator
and HighlightWorkerThread. We also introduce a delay in the processing in order to
see if more tasks are coming (e.g. because the user is typing fast).