894ba31880
Handle case changing better. <Ctrl>F now works like <Ctrl>f rather than <Ctrl><Shift>F
2008-08-15 16:20:08 +01:00
fbd862c1aa
Make <Ctrl>plus/minus/etc work
2008-08-15 15:46:38 +01:00
c0ab0e3f34
Introduce a cut-down version of my .ini parser; this one doesn't do anything special with indents, and just builds a simple dict on parse. It does introduce the same error handling (other than that for indenting), so some previously working (but highly dubious) configs might break.
...
Hook up a [keybindings] section, to override the default ones now in config.py; teach TerminatorConfig to merge configured keybindings from available sources; gconf support shouldn't be far away.
2008-08-15 04:11:24 +01:00
c471d636a6
Save a method call.
2008-08-13 02:06:49 +01:00
b02ffdc210
Add a basic scrollback search function, attached to Ctrl-Shift-F for now. Type, hit Enter to search, Enter to continue, and Escape to cancel the search (with the input gadget having focus).
...
A bit slow because VTE's get_text* API is awful.
2008-08-12 02:12:30 +01:00
be159574d9
We don't need to do a keyname lookup here any more.
2008-08-11 19:08:26 +01:00
e65e396d32
Hook up new keybinding code. Making them configurable shouldn't be far away...
2008-08-11 19:02:14 +01:00
d1787e576d
Introduce a class for handling keybindings. Not yet hooked up to anything, but initial tests suggest it works.
2008-08-11 15:30:51 +01:00
Thomas Hurst