[change] major changes in AutoPickParaBox layout, now structured as groupboxes that can be hidden individually

This commit is contained in:
2017-06-07 10:30:15 +02:00
parent 0af795969b
commit 66c5142cb9
2 changed files with 84 additions and 29 deletions

View File

@@ -1 +1 @@
f7d0-dirty
0af79-dirty