gtkwin.c (putty-0.75) | : | gtkwin.c (putty-0.76) | ||
---|---|---|---|---|
skipping to change at line 2617 | skipping to change at line 2617 | |||
/* Default Background has changed, so ensure that space between text | /* Default Background has changed, so ensure that space between text | |||
* area and window border is refreshed. */ | * area and window border is refreshed. */ | |||
set_window_background(inst); | set_window_background(inst); | |||
if (inst->area && gtk_widget_get_window(inst->area)) { | if (inst->area && gtk_widget_get_window(inst->area)) { | |||
draw_backing_rect(inst); | draw_backing_rect(inst); | |||
gtk_widget_queue_draw(inst->area); | gtk_widget_queue_draw(inst->area); | |||
} | } | |||
} | } | |||
} | } | |||
static void gtkwin_palette_get_overrides(TermWin *tw) | static void gtkwin_palette_get_overrides(TermWin *tw, Terminal *term) | |||
{ | { | |||
/* GTK has no analogue of Windows's 'standard system colours', so GTK PuTTY | /* GTK has no analogue of Windows's 'standard system colours', so GTK PuTTY | |||
* has no config option to override the normally configured colours from | * has no config option to override the normally configured colours from | |||
* it */ | * it */ | |||
} | } | |||
static struct clipboard_state *clipboard_from_atom( | static struct clipboard_state *clipboard_from_atom( | |||
GtkFrontend *inst, GdkAtom atom) | GtkFrontend *inst, GdkAtom atom) | |||
{ | { | |||
int i; | int i; | |||
End of changes. 1 change blocks. | ||||
1 lines changed or deleted | 1 lines changed or added |