Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Find Widget border-bottom-radius Supplement #176789

Closed
yiliang114 opened this issue Mar 10, 2023 · 1 comment · Fixed by #176791
Closed

Find Widget border-bottom-radius Supplement #176789

yiliang114 opened this issue Mar 10, 2023 · 1 comment · Fixed by #176791
Assignees
@joaomoreno @rebornix @Tyriar
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders notebook-find terminal-find Relating the terminal's find widget verified Verification succeeded
Milestone
March 2023

Comments

@yiliang114
Copy link
Contributor

Does this issue occur when all extensions are disabled?: Yes

  • VS Code Version: 1.77.0 2e34c9a
  • OS Version: Mac Intel

Steps to Reproduce:

  1. Open VS Code
  2. Focus the mouse on the terminal and uses cmd + f shortcut keys to call out the search box.
  3. Focus the mouse on the explorer and uses cmd + f shortcut keys to call out the search box.
  4. Create a .ipynb new file, and open in editor, then uses cmd + f shortcut keys to call out the search box.

image

image

image
@VSCodeTriageBot
Copy link
Collaborator

Thanks for creating this issue! It looks like you may be using an old version of VS Code, the latest stable release is 1.76.1. Please try upgrading to the latest version and checking whether this issue remains.

Happy Coding!

yiliang114 added a commit to yiliang114/vscode that referenced this issue Mar 10, 2023
@yiliang114
fix: close microsoft#176789 supplement find widget border-bottom-radius
13e0462
@yiliang114 yiliang114 mentioned this issue Mar 10, 2023
Merged
@Tyriar Tyriar added this to the March 2023 milestone Mar 14, 2023
@Tyriar Tyriar added bug Issue identified by VS Code Team member as probable bug notebook-find terminal-find Relating the terminal's find widget labels Mar 14, 2023
Tyriar added a commit that referenced this issue Mar 15, 2023
@Tyriar
Merge pull request #176791 from yiliang114/inquisitive-thrush
1dc9ee4 
fix: close #176789 supplement find widget border-bottom-radius
@VSCodeTriageBot VSCodeTriageBot added unreleased Patch has not yet been released in VS Code Insiders insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Mar 15, 2023
@mjbvz mjbvz added the verified Verification succeeded label Mar 21, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Apr 29, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@joaomoreno joaomoreno

@rebornix rebornix

@Tyriar Tyriar

Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders notebook-find terminal-find Relating the terminal's find widget verified Verification succeeded
Projects
None yet
Milestone
March 2023
Development

Successfully merging a pull request may close this issue.

fix: close #176789 supplement find widget border-bottom-radius yiliang114/vscode
6 participants
@joaomoreno @rebornix @Tyriar @yiliang114 @mjbvz @VSCodeTriageBot