Add a setting to control page size#686

aeisenberg merged 1 commit intogithub:maingithub/vscode-codeql:mainfrom

aeisenberg:aeisenberg/page-size-configaeisenberg/vscode-codeql:aeisenberg/page-size-configCopy head branch name to clipboard