Menu

Explorer plugin and Line Number margin

Maksim Vi.
2009-09-06
2012-11-14
  • Maksim Vi.

    Maksim Vi. - 2009-09-06

    1. I cannot find 'file explorer' feature anywhere. Tried to reinstall npp, tried to install plugins, don't help.
    2. I also want to resize line number region, it is too wide, but I can't find a way to configure it.

    Thanks.

     
    • cchris

      cchris - 2009-09-06

      When is it too wide, and how? It dynamically resizes to accommodate line numbers, and has room for a minimum of 3 digits. If it didn't, the margin would distractingly resize whether you are viewing ine 10 or not.

      You can always set the font to the minimum size in Settings -> Preferences -> Styler Configurator -> Global styles, Line number margin.

      The bookmark margin stands next to the line number margin, and has the same colour -  this cannot be changed. Perhaps what you think is an oversize line number margin is simply the bookmark margin, which you can toggle from Settings -> Preferences -> Edit Components -> Display bookmark margin. Note that this setting is on a per view basis.

      Chris

       
    • Maksim Vi.

      Maksim Vi. - 2009-09-06

      1. fixed
      2. still need help.

       
MongoDB Logo MongoDB