Function resetSize

docs/app/js/sanddance-app.js:142304–142306

()

function initializeResize(view) {
    var s = view._signals, w = s[Width], h = s[Height], p = s[Padding];
    function resetSize() {
        view._autosize = view._resize = 1;
    } // respond to width signal
    view._resizeWidth = view.add(null, (_)=>{
        view._width = _.size;
        view._viewWidth = viewWidth(view, _.size);