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);

Reply via email to