Re: spacing for the GUI wokspace viewer

[Daniel J Sebald]

On 04/11/2013 01:38 PM, John W. Eaton wrote:
> 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.

The only difference I see is that there is more padding above and below 
lines in the table.  The spacing before the contents is about the same. 
 Spacing after can be changed via the marker.  That's what you mean, right?

Qt's scheme is that there is a "model" (the data), and a "view" which 
handles displaying the model.  To adjust the amount of whitespace around 
table entries is probably done inside "workspace-viewer.cc".

Dan