|
| From: | Andrew Janke |
| Subject: | [Octave-bug-tracker] [bug #53902] Reduce whitespace in Editor (undocked) |
| Date: | Sun, 1 Jul 2018 04:31:39 -0400 (EDT) |
| User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36 |
Follow-up Comment #6, bug #53902 (project octave):
That works! I was just looking for it by right-clicking the toolbar directly.
I'll spend some time going through the Preferences to see what else I may be
missing.
Thanks.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?53902>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |