[ros-diffs] [cwittich] 35475: add some more settings to the options dialog