notify workspace protocol of workspace group change

This commit is contained in:
vaxerski 2022-05-30 20:51:45 +02:00
parent b2474d406a
commit c9041bf5c9
3 changed files with 25 additions and 0 deletions

View file

@ -35,4 +35,6 @@ public:
void startAnim(bool in, bool left, bool instant = false);
void setActive(bool on);
void moveToMonitor(const int&);
};