diff --git a/Terminal.glade b/Terminal.glade index 8993a07..db595d7 100644 --- a/Terminal.glade +++ b/Terminal.glade @@ -758,6 +758,120 @@ 2 + + + True + 0 + none + + + True + 12 + + + True + 2 + 2 + 12 + 6 + + + True + liststore7 + + + + 0 + + + + + 1 + 2 + + + + + + True + 0 + Cursor sha_pe: + True + misc-cursor-shape + + + GTK_FILL + + + + + + Blin_k cursor + True + True + False + True + True + + + 2 + 1 + 2 + GTK_FILL + + + + + + + + + + True + <b>Cursor</b> + True + + + + + False + 3 + + + + + True + 0 + none + + + True + 12 + + + Auto-hi_de mouse pointer + True + True + False + True + True + + + + + + + True + <b>Mouse pointer</b> + True + + + + + False + 4 + + 1 @@ -2032,4 +2146,38 @@ when double clicking: + + + + + + + + Block + + + I-Beam + + + Underline + + + + + + + + + + + Off + + + On + + + System default + + + diff --git a/terminal/terminal-preferences-dialog.c b/terminal/terminal-preferences-dialog.c index 8beb6c4..a39a410 100644 --- a/terminal/terminal-preferences-dialog.c +++ b/terminal/terminal-preferences-dialog.c @@ -98,6 +98,8 @@ terminal_preferences_dialog_init (TerminalPreferencesDialog *dialog) "misc-borders-default", "color-selection-use-default", "shortcuts-no-mnemonics", "shortcuts-no-menukey", "binding-backspace", "binding-delete", + "misc-cursor-shape", "misc-cursor-blinks", + "misc-mouse-autohide", "background-mode", "background-image-style" #if TERMINAL_HAS_ANTI_ALIAS_SETTING , "font-anti-alias"