You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This bug has also been confirmed to occur on 1.88 and 1.89, but not 1.87.
Steps to Reproduce:
Open an untitled document and a webview panel next to it (for example, a markdown document and its markdown preview)
Right click in the untitled document, in the side bar or click an entry with a menu in the title bar
Observe that the webview panel becomes focused and the title bar entries jump over to the webview panel
Context:
In the VS Code extension for the Lean 4 programming language and theorem prover, we use a webview to provide additional information about the Lean document that the user is currently working on. We also use a title bar menu entry for all of our commands. The webview stealing the focus from the text document creates several very annoying issues while working on Lean documents:
Right clicking an identifier in the Lean document and selecting "Go to Definition", "Find References" or "Show Call Hierarchy" will open documents in the tab group of the webview, not that of the editor, covering the webview and displaying the contents of the opened file in a panel that is typically smaller than the editor panel and probably too small to read code
Right clicking to paste something in the search sidebar view and then clicking a search result entry will also shift the focus and open the document in the wrong pane
When clicking the title bar menu entry, the entry suddenly shifts away underneath the cursor to the webview panel, which is very disorientating
@mjbvz I would like to try fixing this bug. I know this issue has not made to "Good first issue" list, but this affects my extension which uses webview. I feel like i can manage this. Is there any chance that i could collaborate on this issue? If yes, should i sign a Contributor License Agreement?
Does this issue occur when all extensions are disabled?: Yes
This bug has also been confirmed to occur on 1.88 and 1.89, but not 1.87.
Steps to Reproduce:
Context:
In the VS Code extension for the Lean 4 programming language and theorem prover, we use a webview to provide additional information about the Lean document that the user is currently working on. We also use a title bar menu entry for all of our commands. The webview stealing the focus from the text document creates several very annoying issues while working on Lean documents:
Original report at leanprover/vscode-lean4#438.
Potentially related issue: #210108
The text was updated successfully, but these errors were encountered: