Community

    • Login
    • Search
    • Recent
    • Tags
    • Popular
    • Users
    • Groups
    • Search

    Change symbol for whitespace highlight

    Help wanted · · · – – – · · ·
    2
    2
    3252
    Loading More Posts
    • Oldest to Newest
    • Newest to Oldest
    • Most Votes
    Reply
    • Reply as topic
    Log in to reply
    This topic has been deleted. Only users with topic management privileges can see it.
    • Matyáš Krupička
      Matyáš Krupička last edited by

      Hello all,
      is it possible to change symbols (or its font) used for whitespace highlighting?
      My problem is, that middle dot (which represent space) is so small that I have sometimes problem to notice it. I would like to have it bigger. And unlike text, it’s size doesn’t seem to change when zooming in.
      Thank you

      Claudia Frank 1 Reply Last reply Reply Quote 0
      • Claudia Frank
        Claudia Frank @Matyáš Krupička last edited by

        @Matyáš-Krupička

        if you have a plugin installed, which could manipulate the scintilla editor,
        like python script, lua script, nppexec,… you could use the message
        SCI_SETWHITESPACESIZE(int size) to make it bigger.

        e.g editor.setWhitespaceSize(3) (python)

        Cheers
        Claudia

        1 Reply Last reply Reply Quote 0
        • First post
          Last post
        Copyright © 2014 NodeBB Forums | Contributors