Added #1717 AS1/2/3 Option to hide P-code panel

This commit is contained in:
Jindra Petřík
2023-10-18 08:53:25 +02:00
parent 80ebc06bbe
commit 12c132d4b3
6 changed files with 41 additions and 15 deletions

View File

@@ -960,6 +960,14 @@ public final class Configuration {
@ConfigurationInternal
public static ConfigurationItem<Integer> lastMainWindowScreenHeight = null;
@ConfigurationDefaultBoolean(true)
@ConfigurationCategory("ui")
public static ConfigurationItem<Boolean> displayAs12PCodePanel = null;
@ConfigurationDefaultBoolean(true)
@ConfigurationCategory("ui")
public static ConfigurationItem<Boolean> displayAs3PCodePanel = null;
private enum OSId {
WINDOWS, OSX, UNIX
}