diff sat_frontends/jp/xmlui_manager.py @ 3166:122075ceaa53

quick frontend (app): replaced OrderedDict by regular dict: since Python 3.7 dict are officially ordered, so there is no need to use a specific class anymore.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:40:48 +0100
parents 559a625a236b
children 89d97776fd34
line wrap: on
line diff