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

fix: menu color #86

Closed sparrowhe closed 3 months ago