MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

ObjectStoredProperty — null equals to bean with default values and vice versa

Browse Source
This commit is contained in:
Vladimir Krivosheev
2017-12-19 12:26:15 +01:00
parent 7642914a88
commit ef2e87d8c8
12 changed files with 141 additions and 137 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/execution/impl/src/com/intellij/execution/applet/AppletConfigurationOptions.kt
+4 -4
View File
@@ -16,13 +16,13 @@ class AppletConfigurationOptions : ModuleBasedConfigurationOptions() {
var htmlFileName by string()
@get:OptionTag("HTML_USED")
var htmlUsed by storedProperty(false)
var htmlUsed by property(false)
@get:OptionTag("WIDTH")
var width by storedProperty(400)
var width by property(400)
@get:OptionTag("HEIGHT")
var height by storedProperty(300)
var height by property(300)
@get:OptionTag("POLICY_FILE")
var policyFile by string(ExternalizablePath.urlValue("${PathManager.getHomePath()}/bin/appletviewer.policy"))
@@ -31,7 +31,7 @@ class AppletConfigurationOptions : ModuleBasedConfigurationOptions() {
var vmParameters by string()
@get:OptionTag("ALTERNATIVE_JRE_PATH_ENABLED")
var alternativeJrePathEnabled by storedProperty(false)
var alternativeJrePathEnabled by property(false)
@get:OptionTag("ALTERNATIVE_JRE_PATH")
var alternativeJrePath by string()