When using the Tools->Workbench->Settings changed options are not saved to configuration file of workbench project


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.