TILDA_TERMINAL_AUDIBLE_BELL,
TILDA_TERMINAL_VISIBLE_BELL,
TILDA_TERMINAL_DOUBLE_BUFFERED,
+ TILDA_TERMINAL_MOUSE_AUTOHIDE,
};
static void
g_print ("terminal double buffered: %d\n", self->double_buffered);
break;
+ case TILDA_TERMINAL_MOUSE_AUTOHIDE:
+ self->mouse_autohide = g_value_get_boolean (value);
+ vte_terminal_set_mouse_autohide (VTE_TERMINAL(self->vte_term), self->mouse_autohide);
+ g_print ("terminal mouse autohide: %d\n", self->mouse_autohide);
+ break;
+
default:
/* We don't have this property... */
G_OBJECT_WARN_INVALID_PROPERTY_ID (object, property_id, pspec);
g_value_set_boolean (value, self->double_buffered);
break;
+ case TILDA_TERMINAL_MOUSE_AUTOHIDE:
+ g_value_set_boolean (value, self->mouse_autohide);
+ break;
+
default:
/* We don't have this property... */
G_OBJECT_WARN_INVALID_PROPERTY_ID (object, property_id, pspec);
g_object_class_install_property (gobject_class,
TILDA_TERMINAL_DOUBLE_BUFFERED,
pspec);
+
+ pspec = g_param_spec_boolean ("mouse-autohide",
+ NULL, NULL, FALSE, G_PARAM_READWRITE);
+
+ g_object_class_install_property (gobject_class,
+ TILDA_TERMINAL_MOUSE_AUTOHIDE,
+ pspec);
}
GType