Initializes the GUI. @param opts gui options
(final GUIOptions opts)
| 110 | * @param opts gui options |
| 111 | */ |
| 112 | private static void init(final GUIOptions opts) { |
| 113 | try { |
| 114 | // refresh views when windows are resized |
| 115 | Toolkit.getDefaultToolkit().setDynamicLayout(true); |
| 116 | // set look and feel |
| 117 | final String laf = opts.get(GUIOptions.LOOKANDFEEL); |
| 118 | UIManager.setLookAndFeel(laf.isEmpty() ? UIManager.getSystemLookAndFeelClassName() : laf); |
| 119 | } catch(final Exception ex) { |
| 120 | Util.stack(ex); |
| 121 | } |
| 122 | } |
| 123 | |
| 124 | @Override |
| 125 | protected void parseArgs() throws BaseXException { |