395396397398399400401402403404405
m_resize_timer.scheduleRepeating(m_resize_check_repeat_interval); } m_resizing = true; getViewport().getHandlerManager().fireEvent(new ResizeChangeEvent(w, h)); Orientation orientation; if (w > h) {