Re: [Gtk2hs-users] Resizing the Child Widget in a Notebook

[Axel S. <Axe...@in...>]

On 25.09.2010, at 21:52, Tom Ostojich wrote:

> The code will compile validly, but if you create a document that has
> text outside the window bounds, instead of having the SourceView
> become scrollable like the TextView normally does, it instead
> re-expands the window, and trying various API functions to resolve the
> issue hasn't helped. Does anybody know how to get it so that 1. The
> SourceView widget sizes appropriately when the screen resizes 2. Does
> not cause the screen to resize when the text exceeds the buffer's
> dimensions?

Indeed, as Andy said, I think all you need to do is to wrap the  
sourceview widget with a Viewport.

Cheers,
Axel