Florian Müllner 7555915441 [Overview] Update window titles when they change
Have window title captions in the overview window picker update on
window title changes.

https://bugzilla.gnome.org/show_bug.cgi?id=609206
2010-02-08 21:45:01 +01:00
..
2009-12-18 11:19:59 -05:00
2010-02-08 21:31:30 +01:00
2010-01-22 13:47:52 -05:00
2010-02-01 10:13:19 -05:00
2010-01-07 18:33:00 -05:00
2010-02-02 10:31:38 -05:00
2010-02-02 10:31:38 -05:00