+ /* The current tab is _NORMAL, the rest are _ACTIVE, which is bizarre but
+ * produces not too dreadful appearance */
+ gtk_widget_modify_bg(tabs, GTK_STATE_NORMAL, &tool_bg);
+ gtk_widget_modify_bg(tabs, GTK_STATE_ACTIVE, &tool_active);
+ gtk_widget_modify_fg(tabs, GTK_STATE_NORMAL, &tool_fg);
+ gtk_widget_modify_fg(tabs, GTK_STATE_ACTIVE, &tool_fg);