diff frontends/src/tools/xmlui.py @ 2035:5c6db4329288

core (constants): added XMLUI_DATA_LVLS constants which group all available levels
author Goffi <goffi@goffi.org>
date Sun, 21 Aug 2016 12:03:34 +0200
parents 9ad1a06ed0f8
children db3bbbd745e4
line wrap: on
line diff