diff frontends/src/jp/xmlui_manager.py @ 2538:0a22dc80d671

jp (base): fixed use_pubsub when pubsub_flags is not needed
author Goffi <goffi@goffi.org>
date Thu, 29 Mar 2018 08:57:27 +0200
parents 0046283a285d
children 65695b9343d3
line wrap: on
line diff