No visual indicator in GUI settings that an option has been overridden by the project config #423

If an option has been overridden by objdiff.json (see #263) there's supposed to be a visual indicator in the GUI that you can't change that option manually.

But at some point this indicator seems to have disappeared even though the override itself still works, which can result in confusion (see #422).