Community

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

    Adjust line number font size?

    General Discussion
    3
    6
    348
    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.
    • jbaker6953
      jbaker6953 last edited by jbaker6953

      My line numbers are super tiny (like 6 pt) in 7.9.5 64-bit on Windows 10. They are only 50% of the line height. Is there a way to adjust the size to be readable?

      PeterJones 1 Reply Last reply Reply Quote 0
      • PeterJones
        PeterJones @jbaker6953 last edited by

        @jbaker6953 ,

        It defaults to inheriting the same size as your default font.

        But Settings > Style Configurator > Global Styles > Line number margin has a Font size entry; if it’s blank, it should use the same size as Default Style; if not, it sets the size.

        PeterJones 1 Reply Last reply Reply Quote 1
        • PeterJones
          PeterJones @PeterJones last edited by

          Examples:
          d92e71b7-4f22-4144-83aa-d77dcd9d1593-image.png

          86528f69-0960-4752-bdf8-b5f73e78197d-image.png

          bda4466b-d740-4cb6-8f99-9528e3b22aa1-image.png

          1 Reply Last reply Reply Quote 1
          • jbaker6953
            jbaker6953 last edited by

            Thank you. It was set to 8. It seems like changing it to blank made the margin really fat even though it’s set to dynamic.

            alt text

            Alan Kilborn 1 Reply Last reply Reply Quote 1
            • jbaker6953
              jbaker6953 last edited by

              Turns out that’s what happens if you enable bold line numbers and change the folder margin style. Toggling bold off and on again fixes the margin.

              1 Reply Last reply Reply Quote 1
              • Alan Kilborn
                Alan Kilborn @jbaker6953 last edited by

                @jbaker6953 said in Adjust line number font size?:

                margin really fat

                There’s also a bookmark margin there.
                If you toggle off Display bookmark (shown as on in your screenshot), you’ll save even more room (probably a good idea only if you don’t use bookmarks).

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