diff frontends/src/tools/xmlui.py @ 990:f0e407709d8e

core (constants): added some basic ANSI escape codes
author Goffi <goffi@goffi.org>
date Fri, 18 Apr 2014 23:36:52 +0200
parents d2e612a45e76
children 7a39ae3950f7
line wrap: on
line diff