interface_view.ui: Drop uses of deprecated properties
requested to merge michaelweghorn/accerciser:michaelweghorn/replace_deprecated_properties_in_ui into master
Drop uses of deprecated widget properties in inferface_view.ui. See the individual commits for more details.