AutoFormat: avoid GtkUIManager.