diff frontends/src/tools/host_listener.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 d17772b0fe22
children 2daf7b4c6756
line wrap: on
line diff