@Matt_SF oh, really? I'd have to check the most recent ones then!
@Christoph-Hart I know this, love it and use it daily! I just guess my assumption that something like this:
Content.setPropertiesFromJSON(Panel[idx], {
"width": fancynumber
});
...would work is not correct so I bet I'm missing something very obvious.