Development on the GTK3 port of terminator