… | |
… | |
362 | |
362 | |
363 | /* |
363 | /* |
364 | * Check the current value of the window-time/icon-name and avoid |
364 | * Check the current value of the window-time/icon-name and avoid |
365 | * re-setting it to the same value -- avoids unnecessary window refreshes |
365 | * re-setting it to the same value -- avoids unnecessary window refreshes |
366 | */ |
366 | */ |
367 | #define SMART_WINDOW_TITLE |
367 | //#define SMART_WINDOW_TITLE // currently disabled, needs to be reimplemented |
368 | |
368 | |
369 | /* |
369 | /* |
370 | * Allow foreground/background colour to be changed with an |
370 | * Allow foreground/background colour to be changed with an |
371 | * xterm escape sequence "\E]39;colour^G" -- still experimental |
371 | * xterm escape sequence "\E]39;colour^G" -- still experimental |
372 | */ |
372 | */ |