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.
GNU General Public License v3.0
7
stars
3
forks
source link
Terra is failing on a fresh install to del a default section #115
@SchnWalter did you already saw this?
i removed all build and installed files for terra, and then i failed to delete a section name called layout-Child-0-0-0 which shouldn't be in the default values.
@SchnWalter did you already saw this? i removed all build and installed files for terra, and then i failed to delete a section name called layout-Child-0-0-0 which shouldn't be in the default values.