Text Highlight and Seek

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

Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn

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