On 28/11/2010, Adrien <camaradetux@gmail.com> wrote:
> Hi,
>
> As far as I'm concerned I've started experimenting with the concept of
> "tiling" (as used by tiling window managers) and zippers of horizontal
> and vertical boxes. That's pretty much what xmonad (window manager
> written in haskell) does. The zipper allows to nicely track the
> "current" widget.

Hi,

Of course, I forgot to mention one point: it's not hard to create an
"zipper_of_list" function, which means it'd be possible to have
something in the spirit of:

  type t =
    | Widget of Gtk.widget Gtk.obj
    | Zipper of t list

  val vertical : ?expand:bool -> widgets:(t list) -> t

  Gtk.Zipper.(of_list [
    vertical [
      Widget menubar;
      Widget toolbar;
      horizontal ~expand:true [ Widget left_pane; Widget right_pane ];
      Widget statusbar;
    ]])

That would create a standard view with menubar, toolbar, statusbar and
a central view split vertically in two panes.
That isn't ready yet and it'll take some time but I believe it's doable. :-)


--

Adrien Nader