diff src/core/sat_main.py @ 808:d035c662b357

frontends: some modifications to ease the the use of the new sat_frontends.tools.xmlui.XMLUI class in Libervia
author Goffi <goffi@goffi.org>
date Tue, 04 Feb 2014 18:32:33 +0100
parents be4c5e24dab9
children 743b757777d3
line wrap: on
line diff