int widgetcounter; //number of attributes counted dynamically, might be removed in the future
attribute attr[MAXIMUM_WIDGET_COUNT];
-void Color_Widget(char *colorstring, GtkWidget * widget)
-{
- GtkRcStyle *rc_style;
- GdkColor color;
-
- gdk_color_parse (colorstring, &color);
-
-
- rc_style = gtk_rc_style_new ();
- /* Set foreground (fg) color in normal state to red */
- rc_style->fg[GTK_STATE_NORMAL] = color;
- rc_style->color_flags[GTK_STATE_NORMAL] |= GTK_RC_FG;
-
- gtk_widget_modify_style (widget, rc_style);
- gtk_rc_style_unref (rc_style);
-}
-
void Color_Widget_bg(char *colorstring, GtkWidget * widget)
{
GdkColor color;
//GTK helpre functions
//void Color_Widget_bg (int r, int g, int b, GtkWidget *widget); //change background color
void Color_Widget_bg(char *colorstring, GtkWidget * widget);
- void Color_Widget(char *colorstring, GtkWidget * widget);
/*generic warning pop up*/
void show_gui_warning(char *str);
/*generic open file dialog*/