add ui.editSidebarSize and update on resize, fixes #2716

This commit is contained in:
j 2017-04-17 18:18:10 +02:00
commit 4445b33718
5 changed files with 8 additions and 11 deletions

View file

@ -1226,6 +1226,7 @@
"edit": "",
"edits": {},
"editSelection": [],
"editSidebarSize": 416,
"editSort": [
{"key": "index", "operator": "+"},
{"key": "year", "operator": "+"},