Terra is a GTK+3.0 based terminal emulator with useful user interface, it also supports multiple terminals with splitting screen horizontally or vertically. New features have been added since September 2013. It's a pretty new and experimental project, if you want to contribute just checkout and try.
I've been playing with the code, and at one point I wrote the call to the .bind() method without the extra None parameter.. and things magically started to work properly. :D
And, unlike the previous fix/hack, this one also works with my new ConfigManager, which will eventually be a simple dictionary with a few extra methods.
Sixdsn
commented
9 years ago
I've been playing with the code, and at one point I wrote the call to the
.bind()method without the extraNoneparameter.. and things magically started to work properly. :DAnd, unlike the previous fix/hack, this one also works with my new ConfigManager, which will eventually be a simple dictionary with a few extra methods.
fixes #95