You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.
Just to be sure, since I haven't tested this PR with the Workbench PR yet, if you change that private struct field, does it de-synchronize the UI/checkbox in the Preferences dialog, or is it reloaded anew every time the Preferences dialog is re-opened?
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.