diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-05-30 20:51:45 +0200 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-05-30 20:51:45 +0200 |
| commit | c9041bf5c993bfb5c67256ff20be7a025d97ffc5 (patch) | |
| tree | c3bade167749219e485e94f02265cb85ec6b9c5d /src/helpers/Workspace.hpp | |
| parent | b2474d406a98b2d271107842074614975a469237 (diff) | |
notify workspace protocol of workspace group change
Diffstat (limited to 'src/helpers/Workspace.hpp')
| -rw-r--r-- | src/helpers/Workspace.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/helpers/Workspace.hpp b/src/helpers/Workspace.hpp index a00126cb..2c1ac6d9 100644 --- a/src/helpers/Workspace.hpp +++ b/src/helpers/Workspace.hpp @@ -35,4 +35,6 @@ public: void startAnim(bool in, bool left, bool instant = false); void setActive(bool on); + + void moveToMonitor(const int&); };
\ No newline at end of file |