Quick design question, for people who use the feature where you enter a ! character at the start of a search to put flashcards at the top of search results.
Is it actually useful to have this be a thing you manually activate by entering that !, or would it be better if there was just a checkbox in settings to have it work this way all the time? We built it the current way because at the time we shipped that feature it was kind of slow and we didn't think people would want it for every search, but on a modern mobile device the performance cost is negligible and I don't know if it's still better with a dedicated character or if it's something people are likely to want all the time.
(the ! character is actually being used to negate parts of searches now, so I don't think we're keeping it in 4.0 in any case, but we could potentially take another character like & and have it perform that function if it's something that's still useful to have at the start of a search)
Is it actually useful to have this be a thing you manually activate by entering that !, or would it be better if there was just a checkbox in settings to have it work this way all the time? We built it the current way because at the time we shipped that feature it was kind of slow and we didn't think people would want it for every search, but on a modern mobile device the performance cost is negligible and I don't know if it's still better with a dedicated character or if it's something people are likely to want all the time.
(the ! character is actually being used to negate parts of searches now, so I don't think we're keeping it in 4.0 in any case, but we could potentially take another character like & and have it perform that function if it's something that's still useful to have at the start of a search)