File size: 468 Bytes
e111422
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
import './codeql'

export default [{
  id: 'jupyterlab-codeql-highlight',
  autoStart: true,
  activate: function(app) {
    console.log('JupyterLab `jupyterlab-codeql-highlight` extension is activated!');
    console.log(app.commands);
    registerStataFileType(app);
  }
}];

function registerStataFileType(app) {
  app.docRegistry.addFileType({
    name: 'codeql',
    displayName: 'CodeQL',
    extensions: ['ql', 'qll'],
    mimeTypes: ['text/x-codeql'],
  });
}