Move a workspace to the top once from its menu, without favorites or automatic reordering.
dsh plugin --profile web add dsh-plugin-workspace-move-top
这个插件还没测过。提交测试 →
GitHub · Homepage · npm