GNOME Desktop/GTK: Dashes and Gnome-gitg Split View