Gridarta Editor
EditorSettingsKey.java
Go to the documentation of this file.
1 package net.sf.gridarta.model.settings;
2 
3 import org.jetbrains.annotations.NotNull;
4 
8 public enum EditorSettingsKey {
9 
13  ANALYZE_HIGHLIGHT0("AnalyzeHighlight0"),
14 
18  ANALYZE_HIGHLIGHT1("AnalyzeHighlight1"),
19 
23  ANALYZE_HIGHLIGHT2("AnalyzeHighlight2"),
24 
28  ANALYZE_FILTER_OUT("AnalyzeFilterOut");
29 
33  @NotNull
34  private final String key;
35 
40  EditorSettingsKey(@NotNull final String key) {
41  this.key = key;
42  }
43 
48  @NotNull
49  public String getKey() {
50  return key;
51  }
52 
53 }
EditorSettingsKey(@NotNull final String key)
Creates a new instance.
String getKey()
Returns the settings key name.
ANALYZE_HIGHLIGHT1
The key for saving the menu state "Analyze|Highlight 0".
ANALYZE_FILTER_OUT
The key for saving the menu state "Analyze|Highlight 2".
ANALYZE_HIGHLIGHT2
The key for saving the menu state "Analyze|Highlight 1".
ANALYZE_HIGHLIGHT0
The key for saving the menu state "Analyze|Filter view".
Possible keys for saving values in the EditorSettings.