Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/src/completion.ts
changeset 75234 57de0062dc1c
parent 75185 69020ce9f172
equal deleted inserted replaced
75233:99b83e701c8e 75234:57de0062dc1c 
       
     1 /*  Author:     Makarius
 
       
     2 
       
     3 Support for PIDE completion information.
 
       
     4 */
 
       
     5 
     1 'use strict';
 
     6 'use strict';
 
     2 
     7 
     3 import { CompletionItemProvider, CompletionItem, TextDocument, Range, Position,
 
     8 import { CompletionItemProvider, CompletionItem, TextDocument, Range, Position,
 
     4   CancellationToken, CompletionList } from 'vscode'
 
     9   CancellationToken, CompletionList } from 'vscode'
 
     5 
    10
isabelle