Searched refs:welcomePane (Results 1 – 1 of 1) sorted by relevance
298 JEditorPane welcomePane = new JEditorPane("text/html", msg("proGuardInfo")); in ProGuardGUI() local299 welcomePane.setPreferredSize(new Dimension(640, 350)); in ProGuardGUI()302 welcomePane.putClientProperty("JEditorPane.honorDisplayProperties", Boolean.TRUE); in ProGuardGUI()303 welcomePane.setOpaque(false); in ProGuardGUI()304 welcomePane.setEditable(false); in ProGuardGUI()305 welcomePane.setBorder(new EmptyBorder(20, 20, 20, 20)); in ProGuardGUI()306 addBorder(welcomePane, "welcome"); in ProGuardGUI()310 proGuardPanel.add(welcomePane, welcomePaneConstraints); in ProGuardGUI()