PlasmaVirtualDesktop at a protocol level is double buffered.
There's a done() command emitted after property changes. After this the
name might have changed.
hein |
Plasma |
PlasmaVirtualDesktop at a protocol level is double buffered.
There's a done() command emitted after property changes. After this the
name might have changed.
Changed a desktop name (with relevant kwin patch)
Name changed in the pager tooltip
Automatic diff as part of commit; lint not applicable. |
Automatic diff as part of commit; unit tests not applicable. |
Wouldn't it be better to have nameChanged signal. done seems to be a low-level thing. Or is it just a workaround for 5.15?
Or is it just a workaround for 5.15?
Partly yes.
If we do have a nameChanged signal in the client we should double-buffer the value properly.
Also ideally we should have libtaskmanager only insert after the first done().
Though I'm not sure how to nicely make that async whilst keeping "position" correct.