[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
[jdt-ui-dev] Towards per project settings
|
In order to support per project settings, I propose we add the following
APIs:
/**
* Returns the table of the current custom options for this project.
Projects remember their custom options,
* i.e. only the options different from the the JavaCore global
options for the workspace.
* A boolean argument allows to directly merge the project options
with global ones.
* <p>
* For a complete description of the configurable options, see <code>
JavaCore#getDefaultOptions</code>.
* </p>
*
* @param includeJavaCoreOptions - boolean indicating whether
JavaCore options should be inserted as well
* @return table of current settings of all options
* (key type: <code>String</code>; value type: <code>String</code>)
* @see JavaCore#getDefaultOptions
*/
Map getOptions(boolean includeJavaCoreOptions);
and similarily a setOptions(Map) will be provided.
The implementation will create a file (.jprefs) as a sibling of the
.classpath file, containing the project custom options (which can be a
subset of the JavaCore ones - considered as global options).