411412413414415416417418419420421
} if (orientation != m_orientation) { m_orientation = orientation; getViewport().getHandlerManager().fireEvent(new OrientationChangeEvent(w, h)); } Scheduler.get().scheduleDeferred(new ScheduledCommand() { @Override public void execute()