search

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

VoiceCooperation: fix: ui design #81

Closed sparrowhe closed 2 months ago

sparrowhe commented 2 months ago

Be consistent with the design