This is just adding switches for these new settings to the panel, no changes to the design.
This better adapts the panel's size to the window's size, allowing it to look good on both large and narrow windows.
Switch from GtkBuilder to using GtkTemplate. Rename widget IDs to be more readable. Drop widget IDs that are not used. Move code into the .ui file that can be.
