Use Gtk.Stack/Switcher for tabbed navigation in preferences dialog
I'm not sure if this is contrary to GNOME design patterns, but in elementary we use Gtk.StackSwitcher as the widget for a static tabbed navigation. As an example here is the preferences dialog in elementary Code: