index 07ab64ab6db0d46801a167f25d0908b37b1d2856..f9c54497603b4b2763452569ec97f55e150658c9 100644 (file)
}
protected:
- virtual void _afterDesktopSwitch(SPDesktop *desktop) {}
+ virtual void _afterDesktopSwitch(SPDesktop */*desktop*/) {}
void _emitChanged() { _changed_signal.emit(); }
private: