diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-05-22 19:36:47 +0200 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-05-22 19:36:47 +0200 |
| commit | 086f7249514fcbaf10247ee7bd2c5ddad643d898 (patch) | |
| tree | 7fefe431fe8187fcbe2b77e7ea065b74dfe243f6 /src/plugins/PluginAPI.cpp | |
| parent | ad244190e001de3eded047a5a387ea47fa0b3eea (diff) | |
wlr_ext_workspaces: honor activate from client + format
Diffstat (limited to 'src/plugins/PluginAPI.cpp')
0 files changed, 0 insertions, 0 deletions