tab: fix a small todo

It is now done in gtksourceview.