tornadofxのappConfigにプロパティをバインドする方法はありますか？

Question

tornadofxのappConfigを使ってビューの高さと幅の値を保存したいとします。とにかく、これらのプロパティをappConfigにバインドすることができるので、configを保存すると、最新の高さと幅の値が常に保存されますか？

Answer 1

何がやりたいことは、ウィンドウの現在の幅/高さを保存し、ビューを再びドッキングされているとき、あなたはそこに両方の​​操作を行うにonDockオーバーライドできることを復元する場合：

override fun onDock() { 
    if (config["w"] != null && config["h"] != null) { 
     currentWindow?.apply { 
      width = config.double("w")!! 
      height = config.double("h")!! 
     } 
    } 

    currentWindow?.apply { 
     Bindings.add(widthProperty(), heightProperty()).onChange { 
      with (config) { 
       put("w", width.toString()) 
       put("h", height.toString()) 
       save() 
      } 
     } 
    } 
}