blob: 728569d78a84b31ac74a998f80ab2575bd80f157 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
--- src/vte.c.orig Sun May 2 02:43:01 2004
+++ src/vte.c Sun Oct 31 20:23:36 2004
@@ -105,14 +105,14 @@
#define VTE_ADJUSTMENT_PRIORITY G_PRIORITY_DEFAULT_IDLE
#define VTE_INPUT_RETRY_PRIORITY G_PRIORITY_HIGH
#define VTE_INPUT_PRIORITY G_PRIORITY_DEFAULT_IDLE
-#define VTE_CHILD_INPUT_PRIORITY G_PRIORITY_DEFAULT_IDLE
+#define VTE_CHILD_INPUT_PRIORITY G_PRIORITY_LOW
#define VTE_CHILD_OUTPUT_PRIORITY G_PRIORITY_HIGH
#define VTE_FX_PRIORITY G_PRIORITY_DEFAULT_IDLE
#define VTE_REGCOMP_FLAGS REG_EXTENDED
#define VTE_REGEXEC_FLAGS 0
#define VTE_INPUT_CHUNK_SIZE 0x1000
#define VTE_INVALID_BYTE '?'
-#define VTE_COALESCE_TIMEOUT 2
+#define VTE_COALESCE_TIMEOUT 15
/* The structure we use to hold characters we're supposed to display -- this
* includes any supported visible attributes. */
@@ -10534,9 +10534,13 @@
static gint
vte_terminal_visibility_notify(GtkWidget *widget, GdkEventVisibility *event)
{
+ VteTerminal *terminal;
g_return_val_if_fail(GTK_WIDGET(widget), FALSE);
g_return_val_if_fail(VTE_IS_TERMINAL(widget), FALSE);
- (VTE_TERMINAL(widget))->pvt->visibility_state = event->state;
+ terminal = VTE_TERMINAL(widget);
+ terminal->pvt->visibility_state = event->state;
+ if (terminal->pvt->visibility_state == GDK_VISIBILITY_UNOBSCURED)
+ vte_invalidate_all(terminal);
return FALSE;
}
|
