Yes please fix this,! GNOME terminal is (was?) the best terminal emulator out there. Terminator is ok, but has some quirks that make it less pleasant to use.
Yes please fix this,! GNOME terminal is (was?) the best terminal emulator out there. Terminator is ok, but has some quirks that make it less pleasant to use.