Home
last modified time | relevance | path

Searched refs:MODE2_KEY (Results 1 – 2 of 2) sorted by relevance

/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/
H A DJShellTool.java233 static final String MODE2_KEY = "MODE2"; field in JShellTool
1134 String encoded = prefs.get(MODE2_KEY); in initFeedback()
1145 prefs.remove(MODE2_KEY); in initFeedback()
2001 retained -> prefs.put(MODE2_KEY, retained));
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/
H A DJShellTool.java237 static final String MODE2_KEY = "MODE2"; field in JShellTool
1138 String encoded = prefs.get(MODE2_KEY); in initFeedback()
1149 prefs.remove(MODE2_KEY); in initFeedback()
2013 retained -> prefs.put(MODE2_KEY, retained));