Smal Gtk Application to display workspace name when switching