octave-patch-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-patch-tracker] [patch #8246] platform depending default fonts fo


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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]