itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fix up backspace/delete binding widgets and fix a related mistake in the terminator_config manpage

This commit is contained in:
Chris Jones 2008-09-07 20:10:06 +01:00
parent e370d9fbb5
commit c93e99b4c3
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/terminator_config.5
View File

@ -66,7 +66,7 @@ Default value: \fBascii\-del\fR
.TP .TP
.B delete_binding .B delete_binding
Sets what code the delete key generates. Possible values are "ascii-del" for the ASCII DEL character, "control-h" for Control-H (AKA the ASCII BS character), "escape-sequence" for the escape sequence typically bound to backspace or delete. "escape-sequence" is normally considered the correct setting for the Delete key. Sets what code the delete key generates. Possible values are "ascii-del" for the ASCII DEL character, "control-h" for Control-H (AKA the ASCII BS character), "escape-sequence" for the escape sequence typically bound to backspace or delete. "escape-sequence" is normally considered the correct setting for the Delete key.
Default value: \fBdelete\-sequence\fR Default value: \fBescape\-sequence\fR
.TP .TP
.B cursor_blink \fR(boolean) .B cursor_blink \fR(boolean)
Controls if the cursor blinks. Controls if the cursor blinks.

12
terminatorlib/prefs_profile.py
View File

@ -75,6 +75,18 @@ class ProfileEditor:
widget.append_text ('right') widget.append_text ('right')
widget.append_text ('disabled') widget.append_text ('disabled')
widget.set_active (0) widget.set_active (0)
elif key == 'backspace_binding':
widget = gtk.combo_box_new_text()
widget.append_text ('ascii-del')
widget.append_text ('control-h')
widget.append_text ('escape-sequence')
widget.set_active (0)
elif key == 'delete_binding':
widget = gtk.combo_box_new_text()
widget.append_text ('ascii-del')
widget.append_text ('control-h')
widget.append_text ('escape-sequence')
widget.set_active (2)
elif key == 'focus': elif key == 'focus':
widget = gtk.combo_box_new_text() widget = gtk.combo_box_new_text()
widget.append_text ('click') widget.append_text ('click')