kate
плагин вкладки: http://kate-editor.org/2011/04/25/kates-tab-bar-plugins/
1) На Ubuntu 14.04 кто-либо знает, почему цвет вкладки не может быть изменен? (Я вижу опцию Highlight Tab
доступно, но нет никакого эффекта вообще при выборе определенного цвета для вкладки).
2) Там какой-либо ярлык должен быстро переключиться между вкладками?