| … | |
… | |
| 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 | */ |
