The R Project SVN R

Rev

Rev 16945 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16945 Rev 17088
Line 31... Line 31...
31 
/* ************************************************
 31 
/* ************************************************
32 
   GTK+ general stuff
 32 
   GTK+ general stuff
33 
************************************************ */
 33 
************************************************ */
34 
 
 34 
 
35 
void terminal_set_style(void) {
 35 
void terminal_set_style(void) {
36 
    GtkStyle *textstyle;
 - 
 
37 
 
 36 
 
38 
    gtk_object_set (GTK_OBJECT(R_gtk_terminal_text),
 37 
    gtk_object_set (GTK_OBJECT(R_gtk_terminal_text),
39 
		    "output_color_gdk", prefs_get_console_outputcolor(),
 38 
		    "output_color_gdk", prefs_get_console_outputcolor(),
40 
		    "input_color_gdk",  prefs_get_console_textcolor(),
 39 
		    "input_color_gdk",  prefs_get_console_textcolor(),
41 
		    "bg_color_gdk",     prefs_get_console_bgcolor(),
 40 
		    "bg_color_gdk",     prefs_get_console_bgcolor(),
42 
		    "font",             prefs_get_console_font(),
 41 
		    "font",             prefs_get_console_font(),
43 
		    NULL);
 42 
		    NULL);
44 
 
 - 
 
45 
    /*
 - 
 
46 
    textstyle = gtk_style_copy(gtk_widget_get_style(R_gtk_terminal_text));
 - 
 
47 
    gdk_font_unref(textstyle->font);
 - 
 
48 
    textstyle->font = gdk_font_load(prefs_get_console_font());
 - 
 
49 
    textstyle->text[GTK_STATE_NORMAL] = prefs_get_console_textcolor();
 - 
 
50 
    textstyle->base[GTK_STATE_NORMAL] = prefs_get_console_bgcolor();
 - 
 
51 
    gtk_widget_set_style(R_gtk_terminal_text, textstyle);
 - 
 
52 
    */
 - 
 
53 
}
 43 
}
54 
 
 44 
 
55 
static gint delete_event(GtkWidget *widget, GdkEvent *event, gpointer data)
 45 
static gint delete_event(GtkWidget *widget, GdkEvent *event, gpointer data)
56 
{
 46 
{
57 
  R_gtk_terminal_quit();
 47 
  R_gtk_terminal_quit();