/**
* Returns the file preferences for this plugin are saved in.
*
* @return The file.
*/
private static final File getPrefsFile() {
return new File(RTextUtilities.getPreferencesDirectory(), "macros.properties");
}
/**
* Returns the directory that macro definitions are saved to.
*
* @return The directory.
*/
public File getMacroDir() {
return new File(RTextUtilities.getPreferencesDirectory(), "macros");
}