|
From: | Rik |
Subject: | [Octave-bug-tracker] [bug #55455] Font selection dropdown shows fonts in really large type |
Date: | Tue, 22 Jan 2019 11:35:14 -0500 (EST) |
User-agent: | Mozilla/5.0 (Windows NT 10.0; WOW64; Trident/7.0; rv:11.0) like Gecko |
Update of bug #55455 (project octave): Severity: 3 - Normal => 1 - Wish Item Group: Other => Feature Request Status: Works For Me => Confirmed Release: 4.4.1 => dev Operating System: Mac OS => Any _______________________________________________________ Follow-up Comment #3: It's a little large, but I think we're down to aesthetics. I was comparing to the suggested 20 points and it is no where near as big as that. See the attached screenshot for a true 20 point font. I'm dropping this down to a Feature Request. I'm not sure why the drop-down dialog isn't just using the fontsize that the rest of the GUI is through an inheritance mechanism. My guess is that this is easy to fix for someone who understands Qt code. The code to modify is in libgui/src/settings-dialog.cc. I think the function will be settings_dialog::read_lexer_settings. (file #46071) _______________________________________________________ Additional Item Attachment: File name: 20pt_font.png Size:62 KB _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?55455> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |