diff sat_frontends/tools/strings.py @ 2960:5d13d357896c

jp (xmlui): fixed encoding for raw_input in StringWidget
author Goffi <goffi@goffi.org>
date Fri, 14 Jun 2019 12:49:44 +0200
parents 56f94936df1e
children a754523fc0f6
line wrap: on
line diff