Thu, 09 Aug 2012 22:31:04 +0200 | wenzelm | some attempts to keep malformed syntax errors focussed, without too much red spilled onto the document view; | changeset | files |
Thu, 09 Aug 2012 21:09:24 +0200 | wenzelm | refined recover_spans: take visible range into account, reparse and trim results -- to improve editing experience wrt. unbalanced quotations etc.; | changeset | files |
Thu, 09 Aug 2012 19:51:29 +0200 | wenzelm | tuned signature; | changeset | files |