Bottom resizer should not be resizable

Sixdsn / terra-terminal

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

Bottom resizer should not be resizable #104

Closed Sixdsn closed 9 years ago

SchnWalter commented 9 years ago

I have a fix for this locally, I have split the UI strings into several gettext categories, and while doing that I also updated the *.ui with the latest version, and made several small optimizations. I can pull that change out of the i18n commits.

Sixdsn commented 9 years ago

Ok great, and yep i rather like to get ui files changed out of i18n patches as much as possible

Sixdsn commented 9 years ago

@SchnWalter can you push your fix for this? :)

SchnWalter commented 9 years ago

I have tested on Gnome and things seem to work. I have merged the commit because I have a larger batch of changes that could use a review.