commit | b7861f34bae7a9e00446e0a8cf2f38e220c41c79 | [log] [download] |
---|---|---|
author | nicm <nicm> | Sat Aug 29 00:29:15 2015 +0000 |
committer | nicm <nicm> | Sat Aug 29 00:29:15 2015 +0000 |
tree | 21b376c463a45225cb959029953f2f48a2a68192 | |
parent | 73bd8160768c5411bf96c8e2326c36f19cdd45c5 [diff] |
Better take on reducing the name timer. Again check for name changes in the main loop after events that may have changed the pane, but do so at most once every 500 millis. If the pane changed too soon, use a timer to ensure that a check happens later.