Function positiveInteger

packages/vscode-extension/extension.js:231–233

(value)

}

function positiveInteger(value) {
  return Number.isInteger(value) && value > 0 ? value : null;
}

function getWebviewHtml(serverUrl) {
  const origin = getOrigin(serverUrl);