settings file and save/restore ui state

This commit is contained in:
2019-04-14 18:03:41 +02:00
parent ada1afbac2
commit a8d475fbfb
15 changed files with 596 additions and 38 deletions

View File

@@ -648,7 +648,7 @@
<border height="30" color=".4" align="center" justify="center">
<text text="Grids" color="1 1 1 1"/>
</border>
<border color=".4" pad="5" dir="col" width="100%">
<border color=".4" pad="5" dir="col" width="100%" grow="1">
<node dir="row" margin="0 0 10 0">
<node width="200" grow="1" margin="0 5 0 0">