comparison frontends/src/quick_frontend/quick_profile_manager.py @ 2093:cbf3af02e941

frontends(xmlui): better handling of missing _xmluiAppend
author Goffi <goffi@goffi.org>
date Sun, 18 Dec 2016 10:15:57 +0100
parents f413bfc24458
children 1d3f73e065e1
comparison
equal deleted inserted replaced
2092:5e79ba00c1e2 2093:cbf3af02e941