4 Commits

Author	SHA1	Message	Date
Marco Pesenti Gritti	4e18357902	Ignore double desktop switching notifications.	2007-09-14 13:58:59 +02:00
Marco Pesenti Gritti	778e65f610	Notify zoom level change	2007-07-02 15:00:55 +02:00
Marco Pesenti Gritti	41af921826	Cleanup zoom level management	2007-07-02 14:53:50 +02:00
Marco Pesenti Gritti	7024f93a43	Move the zoom levels inside the model	2007-07-02 14:34:41 +02:00