void m_display();
void m_goto(string name);
void m_goto_skin_selector();
+void m_goto_language_selector();
void m_goto_video_settings();
.string name;
void preMenuDraw(); // this is run before the menu is drawn. You may put some stuff there that has to be done every frame.
void postMenuDraw(); // this is run just after the menu is drawn (or not). Useful to draw something over everything else.
-float highlightedPanel;
+void m_sync();