diff --git a/vscode-lean4/loogleview/index.ts b/vscode-lean4/loogleview/index.ts index d87820a5..f201b764 100644 --- 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 index bb6a8913..fde2a575 100644 --- 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);