我之前kate
在 Ubuntu 14.04 上使用过,效果很好。然而,升级到 Ubuntu 16.04 后,选项卡插件就消失了。因此,如果我只打开了几个源文件,就很难在它们之间导航。
kate (v15.12.3) 的 tab 插件如何在 Ubuntu 16.04 下再次工作?
编辑:基本上缺少的是选项卡控件。我不知道为什么它在最新的 kate 版本中被遗漏了——以前有两个选项卡插件(标准的一个和允许配置选项卡栏行数的多选项卡插件)。现在这两个插件都不存在了,所以在许多打开的文档中导航是一种痛苦。