Searched refs:defaultsFile (Results 1 – 1 of 1) sorted by relevance
98 private String defaultsFile; field in Defaults125 Defaults(String defaultsFile, Color background) { in Defaults() argument126 this.defaultsFile = defaultsFile; in Defaults()147 defaultsFile = old.defaultsFile; in Defaults()363 new BufferedWriter(new FileWriter(defaultsFile))); in saveToFile()383 inFile = new BufferedReader(new FileReader(defaultsFile)); in readFromFile()