01: package de.uka.ilkd.key.gui.configuration;
02:
03: import java.io.File;
04:
05: /**
06: * keeps some central paths to files and directories
07: *
08: */
09: public interface PathConfig {
10:
11: /** directory where to find the KeY configuration files */
12: public static final String KEY_CONFIG_DIR = System
13: .getProperty("user.home")
14: + File.separator + ".key-1.2";
15: /**
16: * In which file to store the recent files.
17: */
18: public static final String RECENT_FILES_STORAGE = KEY_CONFIG_DIR
19: + File.separator + "recentFiles.props";
20:
21: }
|