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

[Editor] Hide Search Results by default and show it on first search. #88465

Merged
1 commit merged into from
Mar 25, 2024
Merged

[Editor] Hide Search Results by default and show it on first search. #88465

1 commit merged into from
Mar 25, 2024

Commits on Mar 16, 2024

  1. Hide Search Results by default. Show it on first search and push it a… 

    …t the end. Add a close button to hide it back. Also switch to Script Editor if a searched line is clicked.
    @AeioMuch
    AeioMuch committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    5cf6f3c View commit details
    Browse the repository at this point in the history