diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-03-20 01:50:46 +0000 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-03-20 01:50:46 +0000 |
| commit | d23bbd1687a5413fb7f2c08b67692d4e64f8efef (patch) | |
| tree | 00f5fb8199f8492bdaab0da8405f7413db55b3c2 /src/plugins/PluginAPI.cpp | |
| parent | 7a514f41a34f01246eff9a21fc96fe5e89775f11 (diff) | |
workspaces: preserve pin on moves
Diffstat (limited to 'src/plugins/PluginAPI.cpp')
0 files changed, 0 insertions, 0 deletions