Browse Source

tidy

pull/223/head
pythongosssss 2 years ago
parent
commit
4257e4ce51
  1. 2
      web/scripts/widgets.js

2
web/scripts/widgets.js

@ -152,7 +152,7 @@ function addMultilineWidget(node, name, opts, app) {
if (!(MultilineSymbol in node)) {
node[MultilineSymbol] = true;
const onResize = node.onResize;
node.onResize = function (size) {
computeSize(size);

Loading…
Cancel
Save