[Octave-bug-tracker] [bug #46959] Add option to customize the font size of the line numbers in the gutter of the editor

[H W Tovetjärn]

URL:
  <http://savannah.gnu.org/bugs/?46959>

                 Summary: Add option to customize the font size of the line
numbers in the gutter of the editor
                 Project: GNU Octave
            Submitted by: totte
            Submitted on: Sun 24 Jan 2016 10:02:52 AM GMT
                Category: GUI
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Feature Request
                  Status: None
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                 Release: dev
        Operating System: GNU/Linux

    _______________________________________________________

Details:

There is currently no way (as far as I could tell) to set the font size of the
line numbers in the gutter of the editor to a different size than that of the
file content one is editing. Allowing to set the line numbers to be smaller
(e.g. size 12) than the file content (e.g. size 16) would make them less
obtrusive. This feature is found in certain text editors and IDEs.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?46959>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/