comparison frontends/src/tools/xmltools.py @ 1165:ca15fb1abbc4

primitivus: added disable_mouse config option /!\ minimal Urwid version is now 1.2.0
author Goffi <goffi@goffi.org>
date Thu, 04 Sep 2014 20:30:57 +0200
parents 1fe00f0c9a91
children 069ad98b360d
comparison
equal deleted inserted replaced
1164:af395a6f2551 1165:ca15fb1abbc4