[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #36358] Add settings to change the terminal fo
From: |
Israel Herraiz |
Subject: |
[Octave-bug-tracker] [bug #36358] Add settings to change the terminal font |
Date: |
Tue, 01 May 2012 03:06:57 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/535.19 (KHTML, like Gecko) Chrome/18.0.1025.162 Safari/535.19 |
URL:
<http://savannah.gnu.org/bugs/?36358>
Summary: Add settings to change the terminal font
Project: GNU Octave
Submitted by: herraiz
Submitted on: Tue 01 May 2012 05:06:56 AM CEST
Category: GUI
Severity: 3 - Normal
Priority: 5 - Normal
Item Group: Feature Request
Status: None
Assigned to: None
Originator Name:
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Release: dev
Operating System: Any
_______________________________________________________
Details:
The terminal font is fixed and cannot be changed.
The attached patch adds a tab to the settings dialog to change the font of the
terminal view. The user can choose the font family and point size, and the
terminal font is updated accordingly.
This only currently works on Linux and Mac, because the QTerminal component in
Windows does not allow to change the terminal font. I am working on a patch
for QTerminal to enable users-set fonts.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Tue 01 May 2012 05:06:56 AM CEST Name: change_console_font.patch Size:
6kB By: herraiz
<http://savannah.gnu.org/bugs/download.php?file_id=25762>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?36358>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Octave-bug-tracker] [bug #36358] Add settings to change the terminal font,
Israel Herraiz <=