kdeaddons/kate/tabbarextension
