Discussions

• 1 You must be logged in to vote

  #️⃣

  TODOs after comments are not matched

  enhancement New feature or request Need Discussion

  timbslr asked Jun 4, 2026 in Potential behavior-altering enhancement · Unanswered

  

  

  

  

  2
• 1 You must be logged in to vote

  #️⃣

  [Feature] different highlight style defs for tag and text

  enhancement New feature or request Need Discussion

  Sorontik asked Jun 8, 2026 in Potential behavior-altering enhancement · Unanswered

  

  

  1