DataSlicer: don't use GtkUIManager.