Use a different order for the color highlighting of the instances of the search term text and the comments in the rich text box dependent on whether we are ignoring instances of the search term text within the comments Revise how the progress bar is incremented during the search to give more of a sense of progress
Use a different order for the color highlighting of the instances of the search term text and the comments in the rich text box dependent on whether we are ignoring instances of the search term text within the comments
Revise how the progress bar is incremented during the search to give more of a sense of progress

michael-mayes/finder