#429 Fix build with GCC 10: multiple definition of widget_options_settings

[Alberto Garcia]

widget_options_settings is defined twice, and this breaks the build with GCC 10 (I'm surprised that it didn't break earlier):

/usr/bin/ld: ui/widget/widget.o:(.bss+0x0): multiple definition of widget_options_settings; ui/widget/options.o:(.bss+0x0): first defined here

[Sergio Baldoví]

Thank you. Committed by [b73d54].