Adjust settings loading a bit.
- First off, when there's no document, save an empty string.
- Then, make sure to check if the filepath exists.
- Also save and load the pointsize of the editor.
BUG:387471
Description
Description
Details
Details
- Committed
woltherav Dec 4 2017, 7:35 PM - Parents
- R37:f830d36c1179: Scripter: add empty corner widget
- Branches
- Unknown
- Tags