Small UI fix needed in OCompletion - ECPreferences>> menuSelectionColor

> Hello
>
> After loading the Vivide Framework / Toolset [1], [2], [3] into a
> recent trunk image I got a complaint about the menuSelection color.
> Marcel and I could identify that ECPreferences, package
> 'Ocompletion-ECSqueak' [4] needs to be fixed.
>
> ECPreferences>>
> menuSelectionColor
>
>        Smalltalk at: #UITheme ifPresent: [ :uiTheme |
>                "Pharo"
>                ^uiTheme current settings selectionColor ].
>        Smalltalk at: #Preferences ifPresent: [ :preferences |
>                "Squeak"
>                ^preferences menuSelectionColor ]
>
>
> Could somebody with access rights (Levente?) help
>
> Kind regards
> Hannes
>
>
> [1] https://github.com/hpi-swa/vivide/
> [2] https://github.com/hpi-swa/widgets
> [3] https://www.hpi.uni-potsdam.de/hirschfeld/artefacts/vivide/
> [4] http://www.squeaksource.com/OCompletion