graph drawing tool

add state arg to a few functions

  • Text.search_next
  • Text.search_previous

Created by  Kartik K. Agaram  on July 12, 2022
5ZA3BRNYWKSGEBJ4JLA4UBC3LJPT5JBWYCU7PQYRSGX6MJMEWDIQC
Change contents