Fix Linux build. Fill in listbox focus change under GTK+. Fix stupid handling of grid sizes.
Add some buttons that don't do anything. Fill in checkbox code under GTK+.