edvin
04/02/2017, 3:37 PMedvin
04/02/2017, 3:39 PMpane.content.boundsInParent.height
before the scroll starts and check it again when the scroll ends - wouldn't that give you the precise value?permalmberg
04/02/2017, 3:39 PMedvin
04/02/2017, 3:40 PMy
or something?edvin
04/02/2017, 3:41 PMpermalmberg
04/02/2017, 3:41 PMpermalmberg
04/02/2017, 3:42 PMedvin
04/02/2017, 3:42 PMviewportBounds
value?permalmberg
04/02/2017, 3:43 PMpermalmberg
04/02/2017, 3:43 PMpane.vvalue
permalmberg
04/02/2017, 3:44 PMedvin
04/02/2017, 3:46 PMlayoutBounds
to boundsInLocal
?permalmberg
04/02/2017, 3:48 PMvvalue
permalmberg
04/02/2017, 3:51 PMboundsInLocal
are the same before and after scrollingpermalmberg
04/02/2017, 3:52 PMscrollpane.content
that ispermalmberg
04/02/2017, 3:53 PMnimakro
04/02/2017, 3:57 PMporokorodev
04/02/2017, 4:00 PMcarlw
04/02/2017, 4:41 PMpermalmberg
04/02/2017, 4:42 PMcarlw
04/02/2017, 4:43 PMedvin
04/02/2017, 4:43 PMconfig
field would be of a different type. That's not a big deal because of the way it's used though (`config.set`/`config.save()` etc), so we would just need to make sure we add those functions to JsonObject
. The biggest issue is that JsonObject
is not writable, so the set
function etc would need to do a Copy On Write and create a new JsonObject
. Not hard to do, but still. The config object should be of type tornadofx.Config : JsonObject
, or something so we can add the appropriate save function. The Config
object also needs a field for the type (COMPONENT
or GLOBAL
) so it knows where to save itself.edvin
04/02/2017, 4:44 PMcarlw
04/02/2017, 4:45 PMedvin
04/02/2017, 4:48 PMjavax.json.JsonObject
is also a bit tricky, since a copy on write would result in a new instance, and that would be very problematic if the user kept a reference to it. I think we'd actually need to reimplement the whole thing. I think there is a mechanism we can plug into so we can return TornadoJsonObject
instead, so it might be possible to do cleanly.nimakro
04/02/2017, 4:49 PMpermalmberg
04/02/2017, 4:50 PMedvin
04/02/2017, 4:51 PMnimakro
04/02/2017, 4:52 PMJsonObject
on write?edvin
04/02/2017, 4:53 PMJsonObject
isn't writable.