diff src/stdui/ui_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 52bd463e6fe7
children be96beb7ca14
line wrap: on
line diff