Can ScrollView fill unused areas (in its grid area)?

[alanbchristie]

I think this is the same issue as discussion #167

I'm using main/0.1.18 and I have a Widget in Grid layout. I add the widget to an Area with area6=DatasetWidget(). The widget fills the grid area, which is fine and expected. Here's a screenshot of the area in the grid the widget occupies...

Note: The app is larger than this with multiple areas in the grid. All you are seeing in this screenshot is one area in the application grid.

The border extends to the grid area but I need this widget to offer scroll-bars for situations where the content grows.

So I put the widget in a ScrollView with area6=ScrollView(DatasetWidget()). When I do this the border shrinks to the size of the data (a Table). This in itself is not a problem - the real problem is that the remainder of the grid area is left unpainted and exposes the natural/underlying colour of the terminal, as the following screenshot illustrates...

Is there any way I can tell the ScrollView to FILL the grid area (with a background colour)?

I don't care that the border just encases the data but it would be much more pleasing if the "unused" area of the grid area was painted with the appropriate background colour (i.e. black in my case).

How do I get the ScrollView to "fill" the designated area when its contents do not?

Alternatively...

Can I know the height of the grid area from the context of my DatasetWidget (embedded in the ScrollView)? If I can I can add an appropriate number of blank rows in my widget table. Adding blank rows in the table will force the widget to fit the height of the grid area.

A workaround... (hack)

In my case I just use a terminal that has a black background (matching my chosen style) and you don't notice the grid area is not being painted!

This fills the "holes" in the grid but it would be much more pleasant if textual pained the entire grid area, rather than just the area occupied by (in my case)the ScrollView.