+void wxFrame::HandleResized( double timestampsec )
+{
+ // according to the other ports we handle this within the OS level
+ // resize event, not within a wxSizeEvent
+
+ PositionBars();
+
+ wxNonOwnedWindow::HandleResized( timestampsec );
+}
+
+#if wxUSE_MENUS