extern puFont FONT_HELVETICA_14;
extern puFont FONT_SANS_12B;
+using std::map;
+using std::string;
-
-\f
////////////////////////////////////////////////////////////////////////
// Implementation of NewGUI.
////////////////////////////////////////////////////////////////////////