|
From: | Torsten |
Subject: | [Octave-patch-tracker] [patch #8246] platform depending default fonts for the editor |
Date: | Sat, 23 Nov 2013 14:38:58 +0000 |
User-agent: | Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:25.0) Gecko/20100101 Firefox/25.0 |
URL: <http://savannah.gnu.org/patch/?8246> Summary: platform depending default fonts for the editor Project: GNU Octave Submitted by: ttl Submitted on: Sat 23 Nov 2013 03:38:57 PM CET Category: None Priority: 5 - Normal Status: None Privacy: Public Assigned to: None Originator Email: Open/Closed: Open Discussion Lock: Any _______________________________________________________ Details: This patch provides a new version of the default-qt-settings.in where the editor-lexer settings are included. The font name and size for the lexers are set to the already available macros %DEFAULT_TERMINAL_FONT% and %DEFAULT_TERMINAL_FONT_SIZE%. The value for the macros is evaluated in configure depending on $host_os. _______________________________________________________ File Attachments: ------------------------------------------------------- Date: Sat 23 Nov 2013 03:38:57 PM CET Name: editor_fonts_01.patch Size: 22kB By: ttl <http://savannah.gnu.org/patch/download.php?file_id=29693> _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/patch/?8246> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |