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