diff --git a/docs/codeql/codeql-for-visual-studio-code/customizing-settings.rst b/docs/codeql/codeql-for-visual-studio-code/customizing-settings.rst index b48e2cd7f07..940a8a0c50c 100644 --- a/docs/codeql/codeql-for-visual-studio-code/customizing-settings.rst +++ b/docs/codeql/codeql-for-visual-studio-code/customizing-settings.rst @@ -37,12 +37,13 @@ Changing the labels of query history items The query history **Format** setting controls how the extension lists queries in the query history. By default, each item has a label with the following format:: - [%t] %q on %d - %s - -- ``%t`` is the time the query was run + %q on %d - %s, %r result count [%t] + - ``%q`` is the query name - ``%d`` is the database name - ``%s`` is a status string +- ``%r`` is the number of results +- ``%t`` is the time the query was run To override the default label, you can specify a different format for the query history items.