annotate src/tools/__init__.py @ 1803:14a97a5fe1c0

plugin text syntaxes: a non blocking syntax callback can now return a unicode directly instead of a Deferred
author Goffi <goffi@goffi.org>
date Fri, 15 Jan 2016 17:13:59 +0100
parents 9c6ee3f9ab29
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source