Simpler version?

  • Resolved gulliver

    (@gulliver)


    7 years, 4 months ago

    Needing only a simple highlighter (and with less themes) is there an easy way to disable some features (I know they’ll be over-written on update).

Viewing 3 replies - 1 through 3 (of 3 total)
Viewing 3 replies - 1 through 3 (of 3 total)
  • The topic ‘Simpler version?’ is closed to new replies.