THIS-Zh- 2021-02-02 08:33 采纳率: 0%
浏览 7

在做ide的plugin开发，怎么修改gutter？

我希望在运行开发的plugin之后，会在每一行的gutter显示对勾、叉或横线，如图。在ide里该怎么完成这个任务？在官方文档里没有找到相关的内容，不知道该通过什么接口来完成。。

希望大佬解答！谢谢！

  • 写回答

1条回答 默认 最新

  • 久绊A 新星创作者: 操作系统技术领域 2023-01-22 17:59
    关注

    你去github看看

    评论

报告相同问题？