|
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
[Prev in Thread] | Current Thread | [Next in Thread] |