When using the Tools->Workbench->Settings changed options are not saved to configuration file of workbench project
@LarsGit223 I think this is something for ;)
@frlan: did you choose _"Tools->Workbench->Save"_? The settings are not saved automatically.
@LarsGit223 No I did not. Expectation for settings was, that it is saved automatically.
Well, then everything works as-designed and it is not a bug. But you could change the label to "enhancement" if you like.
Done. While unexpected behaviour is a bug for me ;)
Done. While unexpected behaviour is a bug for me ;)
It is the expected behaviour (it works as implemented/expected by the author). But your expectations doesn't match the actual implementation ;-)
Closed #841 via #868.
@frlan: I now also removed the option _"Save project"_ and projects are also saved automatically if a workbench related project setting is changed. Also I fixed a little bug regarding this issue, see PR #877.
github-comments@lists.geany.org