Florian Müllner 4d43424efd Remove source icon when a corresponding window is activated ... Source icons are no longer needed to inform the user about events having occured in a particular application when (s)he activates the window - treat that case just as if the user had clicked the source icon. https://bugzilla.gnome.org/show_bug.cgi?id=610494		2010-02-23 19:03:20 +01:00
..
misc	change a few stray tabs to spaces	2010-02-02 10:31:38 -05:00
ui	Remove source icon when a corresponding window is activated	2010-02-23 19:03:20 +01:00
Makefile.am	Split appDisplay and docDisplay into "model" and "view" parts	2009-06-16 18:50:42 -04:00