eclipse-theia/theia

[editor] search (ctrl+f) should be persistent across multiple editors

Open

#6,527 opened on Nov 11, 2019

View on GitHub
 (1 comment) (0 reactions) (0 assignees)TypeScript (2,478 forks)batch import
editorhelp wantedui/ux

Repository metrics

Stars
 (18,676 stars)
PR merge metrics
 (Avg merge 15d 4h) (75 merged PRs in 30d)

Description

Description

Currently, when multiple editors are opened and a user attempts to search in the editor (ctrl+f), the search is only persistent for the single editor. If an opened editor is switched, the search disappears. As an end user, I'd expect that the search box remains.

image

Comparing to VS Code, they keep the search box persistent across all opened editors. Is this an area we want to align?

Contributor guide