Workspace -- record width of document selector

[IanOfYork]

Where a workspace includes lots of files, I generally display the document selector panel as an aid to quickly moving between the files.
Where a workspace has only a few files, the document selector panel is set narrow or not displayed at all.
The display/width settings for the panel seem to be global and not part of the workspace.

Please add the width of the document selector panel to the workspace files.

[ben_josephs]

Agreed.
See https://forums.textpad.com/viewtopic.php?t=13660