terminal-emulator.c revision fea9cb91bd8e12d84069b4dab1268363668b4bff