fix:修复菜单重复注册的BUG

Gandi-IDE / gandi-plugins

Gandi Plugins is a component library containing a suite of feature-enhancing plugins for Gandi-IDE.

GNU Lesser General Public License v3.0

10 stars 12 forks source link

Closed little-starts closed 1 month ago