refactor: remove dead code

leanprover · Nov 5, 2024 · 5bec095 · 5bec095
1 parent 1c39a21
commit 5bec095
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/vscode-lean4/loogleview/index.ts b/vscode-lean4/loogleview/index.ts
@@ -200,12 +200,10 @@ class LoogleView {
     }
 
     private createQuerySuggestionNode(querySuggestion: string): HTMLElement {
-        //const paragraph = document.createElement('p')
         const link = document.createElement('a')
         link.href = 'javascript:void(0)'
         link.innerText = querySuggestion
         link.addEventListener('click', () => this.runSuggestion(querySuggestion))
-        //paragraph.appendChild(link)
         return link
     }
 

diff --git a/vscode-lean4/loogleview/static/index.css b/vscode-lean4/loogleview/static/index.css
@@ -44,7 +44,6 @@
 
     box-sizing: border-box;
     position: relative;
-    display: flex;
     flex-direction: row;
     color: var(--vscode-input-foreground);
     background: var(--vscode-input-background);