chiark / gitweb /
Add multiple tabs for multiple machine configurations in the machine-settings dialog.