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
..
misc	change a few stray tabs to spaces	2010-02-02 10:31:38 -05:00
ui	[Overview] Update window titles when they change	2010-02-08 21:45:01 +01:00
Makefile.am	Split appDisplay and docDisplay into "model" and "view" parts	2009-06-16 18:50:42 -04:00