jarhart/SublimeSBT — pull request #12 by qiemem (2013-04-30 03:04:19+00:00)
Title: Fix for issue #11

After a long time of commenting different parts of the `on_selection_modified` call tree out, I determined that removing the delay `ErrorMarker.update_status` got rid of the issue. Note that even `print`ing inside `on_selection_modified` would trigger, so Sublime is obviously really sensitive to something here.