public static void setRecordStoreManagerClassName(String className) { XMLElement recordStoreManagerXml = configXml.getChildOrNew("recordStoreManager"); recordStoreManagerXml.setAttribute("class", className); saveConfig(); }
public static void setRecentDirectory(String key, String recentJadDirectory) { XMLElement filesXml = configXml.getChildOrNew("files"); XMLElement recentJadDirectoryXml = filesXml.getChildOrNew(key); recentJadDirectoryXml.setContent(recentJadDirectory); saveConfig(); }
public static void setLogConsoleLocationEnabled(boolean state) { XMLElement logConsoleXml = configXml.getChildOrNew("logConsole"); if (state) { logConsoleXml.setAttribute("locationEnabled", "true"); } else { logConsoleXml.setAttribute("locationEnabled", "false"); } saveConfig(); }
public static void removeDeviceEntry(DeviceEntry entry) { XMLElement devicesXml = configXml.getChild("devices"); if (devicesXml == null) { return; } for (Enumeration e_device = devicesXml.enumerateChildren(); e_device.hasMoreElements();) { XMLElement tmp_device = (XMLElement) e_device.nextElement(); if (tmp_device.getName().equals("device")) { String testDescriptor = tmp_device.getChildString("descriptor", null); // this is needed by migration config.xml -> config2.xml if (testDescriptor == null) { devicesXml.removeChild(tmp_device); saveConfig(); continue; } if (testDescriptor.equals(entry.getDescriptorLocation())) { devicesXml.removeChild(tmp_device); saveConfig(); break; } } } }
public static void changeDeviceEntry(DeviceEntry entry) { XMLElement devicesXml = configXml.getChild("devices"); if (devicesXml == null) { return; } for (Enumeration e_device = devicesXml.enumerateChildren(); e_device.hasMoreElements();) { XMLElement tmp_device = (XMLElement) e_device.nextElement(); if (tmp_device.getName().equals("device")) { String testDescriptor = tmp_device.getChildString("descriptor", null); if (testDescriptor.equals(entry.getDescriptorLocation())) { if (entry.isDefaultDevice()) { tmp_device.setAttribute("default", "true"); } else { tmp_device.removeAttribute("default"); } saveConfig(); break; } } } }
public static void setDeviceEntryDisplaySize(DeviceEntry entry, Rectangle rect) { if (entry == null) { return; } XMLElement devicesXml = configXml.getChild("devices"); if (devicesXml == null) { return; } for (Enumeration e_device = devicesXml.enumerateChildren(); e_device.hasMoreElements();) { XMLElement tmp_device = (XMLElement) e_device.nextElement(); if (tmp_device.getName().equals("device")) { String testDescriptor = tmp_device.getChildString("descriptor", null); if (testDescriptor.equals(entry.getDescriptorLocation())) { XMLElement mainXml = tmp_device.getChildOrNew("rectangle"); XMLElement xml = mainXml.getChildOrNew("x"); xml.setContent(String.valueOf(rect.x)); xml = mainXml.getChildOrNew("y"); xml.setContent(String.valueOf(rect.y)); xml = mainXml.getChildOrNew("width"); xml.setContent(String.valueOf(rect.width)); xml = mainXml.getChildOrNew("height"); xml.setContent(String.valueOf(rect.height)); saveConfig(); break; } } } }
public static void setWindow(String name, Rectangle window, boolean onStart) { XMLElement windowsXml = configXml.getChildOrNew("windows"); XMLElement mainXml = windowsXml.getChildOrNew(name); if (onStart) { mainXml.setAttribute("onstart", "true"); } else { mainXml.removeAttribute("onstart"); } XMLElement xml = mainXml.getChildOrNew("x"); xml.setContent(String.valueOf(window.x)); xml = mainXml.getChildOrNew("y"); xml.setContent(String.valueOf(window.y)); xml = mainXml.getChildOrNew("width"); xml.setContent(String.valueOf(window.width)); xml = mainXml.getChildOrNew("height"); xml.setContent(String.valueOf(window.height)); saveConfig(); }
public static void addDeviceEntry(DeviceEntry entry) { for (Enumeration en = getDeviceEntries().elements(); en.hasMoreElements();) { DeviceEntry test = (DeviceEntry) en.nextElement(); if (test.getDescriptorLocation().equals(entry.getDescriptorLocation())) { return; } } XMLElement devicesXml = configXml.getChildOrNew("devices"); XMLElement deviceXml = devicesXml.addChild("device"); if (entry.isDefaultDevice()) { deviceXml.setAttribute("default", "true"); } deviceXml.addChild("name", entry.getName()); deviceXml.addChild("filename", entry.getFileName()); deviceXml.addChild("descriptor", entry.getDescriptorLocation()); saveConfig(); }
createDefaultConfigXml(); saveConfig();