Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/eXene/lib/window/window-sig.sml
ViewVC logotype

View of /sml/trunk/src/eXene/lib/window/window-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1911 - (download) (annotate)
Fri Mar 3 03:33:16 2006 UTC (13 years, 5 months ago) by mblume
File size: 4398 byte(s)
merge Kansas changes to eXene into repository
(* window-sig.sml
 *
 * COPYRIGHT (c) 1990,1991 by John H. Reppy.  See COPYRIGHT file for details.
 *)

signature WINDOW =
  sig

  (* eXene windows *)
    type window = DrawTypes.window

  (* user-level window attributes *)
    datatype window_attr
      = WA_Background_None
      | WA_Background_ParentRelative
      | WA_Background_Pixmap of DrawTypes.pixmap
      | WA_Background_Tile of DrawTypes.tile
      | WA_Background_Color of ColorServer.color
      | WA_Border_CopyFromParent
      | WA_Border_Pixmap of DrawTypes.pixmap
      | WA_Border_Tile of DrawTypes.tile
      | WA_Border_Color of ColorServer.color
      | WA_BitGravity of XProtTypes.gravity
      | WA_WinGravity of XProtTypes.gravity
      | WA_Cursor_None
      | WA_Cursor of Cursor.cursor

  (* window configuration values *)
    datatype window_config
      = WC_Origin of Geometry.point
      | WC_Size of Geometry.size
      | WC_BorderWid of int
      | WC_StackMode of XProtTypes.stack_mode
      | WC_RelStackMode of (window * XProtTypes.stack_mode)

    exception BadWindowGeometry

(**** OBSOLETE ****
    val allocSimpleTopWin : Display.screen
      -> (window * WindowEnv.in_env * ({
          geom : Geometry.win_geom,
          border : ColorServer.color,
          backgrnd : ColorServer.color
        } -> window))
    val allocSimpleSubwin : window
      -> (window * ({
          geom : Geometry.win_geom,
          border : ColorServer.color option,
          backgrnd : ColorServer.color option
        } -> window))
**** OBSOLETE ****)

    val createSimpleTopWin : Display.screen -> {
          geom : Geometry.win_geom,
          border : ColorServer.color,
          backgrnd : ColorServer.color
        (* modified ddeboer Jul 2004; orginal: *
        } -> (window * WindowEnv.in_env) *)
        } -> (window * WindowEnv.in_env * unit CML.chan)
    val createSimpleSubwin : window -> {
          geom : Geometry.win_geom,
          border : ColorServer.color option,
          backgrnd : ColorServer.color option
        } -> window
    val createTransientWin : window -> {
          geom : Geometry.win_geom,
          border : ColorServer.color,
          backgrnd : ColorServer.color
        } -> (window * WindowEnv.in_env)
    val createSimplePopupWin : Display.screen -> {
          geom : Geometry.win_geom,
          border : ColorServer.color,
          backgrnd : ColorServer.color
        } -> (window * WindowEnv.in_env)
    val createInputOnlyWin : window -> Geometry.rect -> window

  (* raise this exception on operations, such as drawing, that are illegal for
   * InputOnly windows. *)
    exception InputOnly

  (* set the properties of a top-level window *)
    val setWMProperties : window -> {
          win_name : string option,
          icon_name : string option,
          argv : string list,
          size_hints : XProps.size_hints list,
          wm_hints : XProps.wm_hints list,
          class_hints : {res_class : string, res_name : string} option
        } -> unit

  (* set the window-manager protocols for a window *)
    val setWMProtocols : window -> XProtTypes.atom list -> bool

  (* Various routines to reconfigure window layout *)
    val configureWin : window -> window_config list -> unit
    val moveWin : window -> Geometry.point -> unit
    val resizeWin : window -> Geometry.size -> unit
    val moveAndResizeWin : window -> Geometry.rect -> unit

  (* map a point in the window's coordinate system to the screen's
   * coordinate system *)
    val winPtToScrPt : window -> Geometry.point -> Geometry.point

    val setCursor : window -> Cursor.cursor option -> unit

    val setBackground : window -> ColorServer.color option -> unit
    (* set the background color attribute of the window.  Note that this does
     * not have an immediate affect on the window's contents, but if it is done
     * before the window is mapped, the window will come up with the right color.
     *)

    val changeWinAttrs : window -> window_attr list -> unit
    (* Set various window attributes *)

    val mapWin : window -> unit
    val unmapWin : window -> unit
    val withdrawWin : window -> unit
    val destroyWin : window -> unit

    val screenOfWin : window -> Display.screen
    val displayOfWin : window -> Display.display

    (* added ddeboer, Jan 2005 *)
    val grabKeyboard : window -> int
    val ungrabKeyboard : window -> int
  end (* WINDOW *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0