src/main/java/eu/digitisation/input/Settings.java
private static void saveToFile() {
        try {
            File file = new File(appDir(), "userProperties.xml");
            OutputStream os = new FileOutputStream(file);
            props.storeToXML(os, null);
            os.close();
            Messages.info("Created new file: " + file.getAbsolutePath());
            FileType.reload();
        } catch (IOException ex) {
            Messages.severe(Settings.class.getName() + ": " + ex);
        }
    }
/**
     * Save properties to XML file (userProperties.xml)
     */
Save properties to XML file (userProperties.xml)
Save properties to XML file ( userProperties . xml )
private static void saveToFile() {
        try {
            File file = new File(appDir(), "userProperties.xml");
            OutputStream os = new FileOutputStream(file);
            props.storeToXML(os, null);
            os.close();
            Messages.info("Created new file: " + file.getAbsolutePath());
            FileType.reload();
        } catch (IOException ex) {
            Messages.severe(Settings.class.getName() + ": " + ex);
        }
    }
private static void saveToFile ( ) { try { File file = new File ( appDir ( ) , "userProperties.xml" ) ; OutputStream os = new FileOutputStream ( file ) ; props . storeToXML ( os , null ) ; os . close ( ) ; Messages . info ( "Created new file: " + file . getAbsolutePath ( ) ) ; FileType . reload ( ) ; } catch ( IOException ex ) { Messages . severe ( Settings . class . getName ( ) + ": " + ex ) ; } }
Save properties to XML file (userProperties.xml)
Save properties to XML file ( userProperties . xml )