| commit | de6809912e1a4639b05a4098a346872f91d8103b | [log] [tgz] |
|---|---|---|
| author | Jasper St. Pierre <jstpierre@mecheye.net> | Thu Apr 10 17:23:49 2014 -0700 |
| committer | Kristian Høgsberg <krh@bitplanet.net> | Mon May 12 23:34:05 2014 -0700 |
| tree | ba547a286a2e8c412ca9841a7664125b5ac3b4f4 | |
| parent | 5befdda84fe7cb2fb6d5d8986a5b8552a1372b8a [diff] |
terminal: Only add the new size to the title when we're resizing Add a new state_changed_handler callback to the window to know when the window has changed state; the terminal will use this to know when the window started and ended its resize operation, and modify the terminal's titlebar accordingly.