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

A way to close search_ui widget? #298

Open

greenais opened this issue Sep 18, 2023 · 1 comment

greenais commented Sep 18, 2023

Once called by ctrl-f find/replace widget can't be closed - is there any key binding to do so?
Close button would be nice option, probably...

Member

Guldoman commented Sep 18, 2023

I guess you're referring to the search_ui plugin, so I'll transfer this to the plugins repo.

In any case, escape closes it for me.

Guldoman transferred this issue from lite-xl/lite-xl

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment