Rename checkbox for hide modeled APIs => methods#2807

robertbrignull merged 1 commit intomaingithub/vscode-codeql:mainfrom

robertbrignull/rename_hideModeledMethods_checkboxgithub/vscode-codeql:robertbrignull/rename_hideModeledMethods_checkboxCopy head branch name to clipboard