editor: remove unused editor title

This will come back when we add the GtkSourceFile "file" property to
GbEditorTab.
snippets: use gdk_rectangle_union() to draw snippet background.