☰

Text Highlight and Seek

Automatically highlight user-defined text with Seek function (2019-09-22)

queste sono le versioni di questo script in cui il codice è stato aggiornato Visualizza tutte le versioni.

  • v2.4.0 23/09/2019 Added color picker button; minor convenience improvements
  • v2.3.0 16/12/2017 Initial Greasemonkey 4 compatibility, "maximize" button for edit screen
  • v2.2.0 20/08/2017 In-place keyword editing on the set list, one level undo for keyword edits, control over highlighting in framed pages
  • v2.0.3 11/10/2015 Bug fixes
  • v2.0.2 11/10/2015 Added Import function, updated data structure for regular expression highlight patterns (to be supported in the future)
  • v2.0.1 11/10/2015