diff frontends/src/tools/xmlui.py @ 2368:3865a772c360

jp (base): fixed CommandAnswering and progress bar
author Goffi <goffi@goffi.org>
date Sun, 01 Oct 2017 12:21:23 +0200
parents c7a7e650ac2f
children 825608d4eaf8
line wrap: on
line diff