Flexible Windows

version 13/130803 by Jon Ingold

  • Home page
  • Beginning
  • Previous
  • Next

  •     Section: Redrawing windows

    We can redraw a specific window by saying

        follow the window-drawing rules for the side-window

    though this should really be more careful that the side-window exists at present. Better yet is

        if side-window is g-present, follow the window-drawing rules for the side window

    If we want to update all the sub-windows quickly, we can invoke the refresh window rule

        follow the refresh windows rule
        refresh windows

    which does just that, carefully, and without bothering windows that aren't there.