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
fix: searching for dynamic parameter blocks causes plug-in crash #57
Closed
zxq142857 closed 3 months ago