Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
I'm unsure about merging the configuration into the "instant save" tab. Though this feature kind of enhances the existing "instant save" feature and so it is probably a good idea.
Maybe to clarify what I had in mind - I would rename the "Instant Save" tab to "Untitled Document Save". At the moment, it's really unclear "Instant Save of what" it is. This tab would then look something like this:
| Untitled Document Save | (o) Disabled ( ) Instant Save Directory to save files in [entry ] Current description ( ) Persistent Untitled Documents Directory to save persistent untitled documents in [entry ] Save interval [entry ] Default filetype [Combo]This would
1. Improve the clarity of what "instant save" actually is 2. Improve UI because "Instant Save" and "Persistent Untitled Documents" are mutually exclusive and enabling one disables the other which is strange when this happens across tabs 3. Possibly allow Default filetype to be used by both the features as I think it makes sense in both cases.
Full agree, sounds reasonable.
Thanks for the explanation.
Could we add a little explanation about the feature to the documentation at
Before spending time on writing the documentation, we should probably first agree on how the configuration should look like and how this feature should be called. My suggestion is "persistent untitled documents" because it's the "untitled" that appears in the tab so it's clearer to users what it's about and I'd avoid the word "file" because it isn't a normal file.
👍
We can also just create a follow-up issue for the documentation to not block this PR and save ourselves from forgetting it.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.