rewrite stream selection widget, make it platform independent; other minor cosmetics