Function width

docs/tests/v2/es6/js/sanddance.js:126871–126874

(view)

exports.resizeRenderer = resizeRenderer;

function width(view) {
  var padding = view.padding();
  return Math.max(0, view._viewWidth + padding.left + padding.right);
}

function height(view) {
  var padding = view.padding();