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 3 months ago