+static void
+get_selection_colors (GtkWidget *widget, GdkColor **text, GdkColor **base)
+{
+ if (GTK_WIDGET_HAS_FOCUS (widget)) {
+ *text = &widget->style->text [GTK_STATE_SELECTED];
+ *base = &widget->style->base [GTK_STATE_SELECTED];
+ } else {
+ *text = &widget->style->text [GTK_STATE_ACTIVE];
+ *base = &widget->style->base [GTK_STATE_ACTIVE];
+ }
+}
+