package net.ptnkjke.jbeditor; import java.io.File; import java.io.FileInputStream; import java.io.FileOutputStream; import java.io.IOException; import java.util.Properties; public class Configutation { public static String graphVizPath = "C:\\soft\\graphviz\\bin\\dot.exe"; public static String workDir = "C:\\temp"; private static final String config = "config.ini"; public static void save() { File f = new File(config); Properties properties = new Properties(); properties.setProperty("graphVizPath", graphVizPath); properties.setProperty("workDir", workDir); try { properties.store(new FileOutputStream(f), "jbedit file options"); } catch (IOException e) { e.printStackTrace(); } } public static void read() { File con = new File(config); if (!con.exists()) { save(); } Properties properties = new Properties(); try { properties.load(new FileInputStream(con)); } catch (IOException e) { e.printStackTrace(); } graphVizPath = properties.getProperty("graphVizPath"); workDir = properties.getProperty("workDir"); } }