|
From: | Torsten Lilge |
Subject: | [Octave-bug-tracker] [bug #53902] Reduce whitespace in Editor (undocked) |
Date: | Fri, 17 May 2019 01:04:22 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0 |
Follow-up Comment #9, bug #53902 (project octave): The automatically adapted space for the line numbers depending on the number of lines in the document is done in the octave editor, not by qt or qscintilla. The space seems to be wider than required since there is also space for the markers. The space consumed by the line numbers can be reduced by tuning their font size in the preferences tab "Editor". _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?53902> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |