首选项--用户设置里添加如下代码:
"caret_extra_top":0,
"caret_extra_bottom":0,
"caret_extra_width":1
需要添加表元素分隔符;
时间: 2024-11-02 01:05:55
首选项--用户设置里添加如下代码:
"caret_extra_top":0,
"caret_extra_bottom":0,
"caret_extra_width":1
需要添加表元素分隔符;