Skip to content

Bug fix: correct widget names so that they match their option key

Wolfgang Reissenberger requested to merge wreissenberger/kstars:bugfix_ui_naming into master

Not all UI widgets have exact the same name as their corresponding Options key, which needs to be corrected.

See issue #223 (closed).

Edited by Wolfgang Reissenberger

Merge request reports