Lines Matching refs:gui
21 package proguard.gui;
25 import proguard.gui.splash.*;
40 * GUI for configuring and executing ProGuard and ReTrace.
634 // Initialize the GUI settings to reasonable defaults.
810 * in the GUI resources.
941 * Updates to GUI settings to reflect the given ProGuard configuration.
1080 * Returns the ProGuard configuration that reflects the current GUI settings.
1331 * Loads the given ProGuard configuration into the GUI.
1349 // Let the GUI reflect the configuration.
1375 * Loads the given ProGuard configuration into the GUI.
1389 // Let the GUI reflect the configuration.
1437 * Loads the given stack trace into the GUI.
1479 * the GUI accordingly.
1498 * current GUI settings.
1517 * current GUI settings.
1559 * This ActionListener executes ProGuard based on the current GUI settings.
1613 * This ActionListener executes ReTrace based on the current GUI settings.
1653 * Attaches the tool tip from the GUI resources that corresponds to the
1665 * Returns the message from the GUI resources that corresponds to the given
1675 * Returns the message from the GUI resources that corresponds to the given
1686 * The main method for the ProGuard GUI.
1696 ProGuardGUI gui = new ProGuardGUI();
1697 gui.pack();
1700 Dimension guiSize = gui.getSize();
1701 gui.setLocation((screenSize.width - guiSize.width) / 2,
1703 gui.show();
1710 gui.skipSplash();
1715 gui.startSplash();
1721 gui.loadConfiguration(new File(args[argIndex]));
1727 System.out.println(gui.getClass().getName() + ": ignoring extra arguments [" + args[argIndex] + "...]");
