/** * returns the options of the current setup. * * @return the current options */ @Override public String[] getOptions() { Vector<String> result; result = new Vector<String>(); result.add("-gui"); result.add("" + getGUIType()); return result.toArray(new String[result.size()]); }
/** * returns the options of the current setup. * * @return the current options */ @Override public String[] getOptions() { Vector<String> result; result = new Vector<String>(); result.add("-gui"); result.add("" + getGUIType()); return result.toArray(new String[result.size()]); }