You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Added
Hit counts in History search. Next to the search box: how many recordings match and how many
hits they hold in all; each recording shows its own count; a search of several words also lists
each word's hits.
Sort History by Most hits (or Newest / Oldest first), in the row under the search box.
Short previews (off by default): a few lines of each recording, around the first hit when
searching.
Changed
Searching History shows each recording's whole text with every hit highlighted, instead of a
short snippet around the first hit.
The filters moved to their own row under the search box, so they fit the window.