* panel.h (WPanel): Instead of the "#ifdef GNOME" mess in the WPanel structure, we now have a single opaque pointer to UI data, called port_ui. GUI stuff specific to each port should be here. This is a work in progress.