On Saturday, 5 August 2017 at 15:08:21 UTC, Johnson Jones wrote:
> I am trying to get the handle size of panned. Not sure if I'm 
> doing it right but
>
> [...]
I'm using this in Tilix:
Value handleSize = new Value(0);
paned.styleGetProperty("handle-size", handleSize);