kate
标签插件:
http://kate-editor.org/2011/04/25/kates-tab-bar-plugins/
1)在 Ubuntu 14.04 上,有人知道为什么无法更改选项卡颜色吗?(我可以看到该选项Highlight Tab
可用,但是为选项卡选择特定颜色时根本没有效果)。
2)是否有快捷方式可以快速切换标签?
kate
标签插件:
http://kate-editor.org/2011/04/25/kates-tab-bar-plugins/
1)在 Ubuntu 14.04 上,有人知道为什么无法更改选项卡颜色吗?(我可以看到该选项Highlight Tab
可用,但是为选项卡选择特定颜色时根本没有效果)。
2)是否有快捷方式可以快速切换标签?