improve(plugin): pin or unpin for plugin ui button from toolbar

Browse Source

...

This commit is contained in:

charlie

2022-06-15 13:01:54 +08:00

committed by Tienson Qin

parent f3bedb200e

commit 6029a2998f

6 changed files with 517 additions and 409 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

829

src/main/frontend/components/plugins.cljs

File diff suppressed because it is too large Load Diff