✨ feat(TerminalManager): Submit a new plugin

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

yuen619 commented 4 months ago

This plugin can manage the logs output on the terminal. TODO: Give the input a style.

zxq142857 commented 4 months ago

你这个UI也太随意了，优化一下吧

zxq142857 commented 4 months ago

翻译还需要补充一下其他几个语种的，可以直接用AI翻译的

zxq142857 commented 4 months ago

那个开关你可以registerSettings注册为配置项，这样你也写少些UI

yuen619 commented 4 months ago

那个开关你可以registerSettings注册为配置项，这样你也写少些UI

settings 能做多选吗

yuen619 commented 4 months ago

你这个UI也太随意了，优化一下吧

因为 settings 不支持多选😡

zxq142857 commented 4 months ago

你这个UI也太随意了，优化一下吧

因为 settings 不支持多选😡

确实不支持，你还是自己画吧[旺柴]

yuen619 commented 4 months ago

你这个UI也太随意了，优化一下吧

因为 settings 不支持多选😡

确实不支持，你还是自己画吧[旺柴]

那我 close pr 了，组件不是也能 pr 吗，搞点组件没问题吧

zxq142857 commented 4 months ago

你这个UI也太随意了，优化一下吧

因为 settings 不支持多选😡

确实不支持，你还是自己画吧[旺柴]

那我 close pr 了，组件不是也能 pr 吗，搞点组件没问题吧