On Jan 23, 2012, at 8:28 AM, Ben Abbott wrote:
> On Jan 23, 2012, at 3:52 AM, Michael Goffioul wrote:
>
>> On Mon, Jan 23, 2012 at 1:48 AM, Ben Abbott <
address@hidden> wrote:
>>
>>> Michael,
>>>
>>> For me (on MacOS X) the fontsize in octave-gui's terminal session is very small.
>>>
>>> Is there a convenient way to change the fontsize ?
>>
>> I don't think so, the font seems to be hard-coded in TerminalView.cpp.
>>
>> Michael.
>
> Ok. The diff below fixes the problem for me.
>
> $ hg diff
> diff --git a/gui/src/TerminalView.cpp b/gui/src/TerminalView.cpp
> --- a/gui/src/TerminalView.cpp
> +++ b/gui/src/TerminalView.cpp
> @@ -26,7 +26,7 @@
> TerminalView::TerminalView (QWidget * parent)
> : QPlainTextEdit (parent), Terminal ()
> {
> - setFont (QFont ("Monospace", 10));
> + setFont (QFont ("Monospace"));
> setSizePolicy (QSizePolicy::Expanding, QSizePolicy::Expanding);
> m_terminalEmulation = TerminalEmulation::newTerminalEmulation (this);
>
> With this all fontsizes are consistent, but the Terminal emulation isn't working for me on MacOS X. There may be other problems, but there are no line feeds, new lines, etc. A app image is attached.
>
> I"ve cc'd Jacob.
>
> Ben
>