/** Redraws app for GUI (with menu) */ public static void redrawGuiWithMenu() { bodySplitter.clear(); bodySplitter.addSouth(ft, 23); bodySplitter.addWest(leftMenu, 280); bodySplitter.add(contentPanel); leftMenu.setHeight("100%"); contentPanel.setHeight("100%"); }