Open Olf0 opened 7 years ago
Oh, now I understood that the search bar can be closed and reopened by hitting "Search" in Editor.'s pulley menu, again. Well, that is O.K. (and should stay this way, IMO), but not very intuitive and easy & quick, as one has to swipe down the pulley menu and tap on "Search" each time. Side note: A really nice feature is, that the content of the search field is kept over closing and reopening the search bar. If the feature suggestion in issue #85 is implemented, please implement that for the replacement field as well.
Thus I believe all suggestions made above are still valid (including the third bullet point).
Editor.'s "Search" (in its pulley menu) is nicely implemented (e.g. by directly selecting the search phrase), but hard and a bit confusing to use: