> - NOT changed color from red to highlighted one because this is less > visible: there are a lot less contrasts Ugh, please don't (AKA, objection from one of the widget drawing guys). Handling all palettes is hard as it is, we don't need hardcoded colors.