octave-maintainers
[Top][All Lists]
Advanced

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

Re: spacing for the GUI wokspace viewer


From: John W. Eaton
Subject: Re: spacing for the GUI wokspace viewer
Date: Thu, 11 Apr 2013 14:38:55 -0400
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.11) Gecko/20121122 Icedove/10.0.11

On 04/11/2013 02:35 PM, Daniel J Sebald wrote:

The column size can be changed by dragging the markers in the title bar.
Do you mean the spacing about and below lines is too great?

I'm talking about the entries in the table, not the header. It's like there is padding around all the text. Compare the spacing of the lines
in the workspace viewer to the lines in the history list.

jwe



reply via email to

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