Restore pre-formatted rendering for completer panel, enable latex

Author: krassowski

packages/completion-theme/style/index.css

@@ -28,3 +28,8 @@
   content: 'Loading...';
   color: #7f7f7f;
 }
+
+/* a workaround for code being larger font size than text in markdown-rendered panel */
+.jp-Completer-docpanel pre code {
+  font-size: 90%;
+}

packages/jupyterlab-lsp/src/features/completion/completion.ts

@@ -99,6 +99,7 @@ export class CompletionLabIntegration implements IFeatureLabIntegration {
     this.renderer = new LSPCompletionRenderer({
       integrator: this,
       markdownRenderer: markdown_renderer,
+      latexTypesetter: this.renderMimeRegistry.latexTypesetter,
       console: console.scope('renderer')
     });
     this.renderer.activeChanged.connect(this.active_completion_changed, this);

packages/jupyterlab-lsp/src/features/completion/renderer.ts

@@ -52,21 +52,29 @@ export class LSPCompletionRenderer
 
   createDocumentationNode(item: LazyCompletionItem): HTMLElement {
     if (item.isDocumentationMarkdown) {
+      let documentation = item.documentation;
       this.options.markdownRenderer
         .renderModel({
           data: {
-            'text/markdown': item.documentation
+            'text/markdown': documentation
           },
           trusted: false,
           metadata: {},
           setData(options: IRenderMime.IMimeModel.ISetDataOptions) {
             // empty
           }
         })
+        .then(() => {
+          if (this.options.latexTypesetter && documentation.includes('$')) {
+            this.options.latexTypesetter.typeset(
+              this.options.markdownRenderer.node
+            );
+          }
+        })
         .catch(this.options.console.warn);
       return this.options.markdownRenderer.node;
     } else {
-      let node = document.createElement('div');
+      let node = document.createElement('pre');
       node.textContent = item.documentation;
       return node;
     }
@@ -77,6 +85,7 @@ export namespace LSPCompletionRenderer {
   export interface IOptions {
     integrator: CompletionLabIntegration;
     markdownRenderer: IRenderMime.IRenderer;
+    latexTypesetter?: IRenderMime.ILatexTypesetter;
     console: ILSPLogConsole;
   }
 }