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

SCM Repository

[smlnj] Diff of /sml/trunk/src/eXene/lib/user/iccc-sig.sml
ViewVC logotype

Diff of /sml/trunk/src/eXene/lib/user/iccc-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 105, Thu May 28 21:30:17 1998 UTC revision 289, Sat May 22 21:01:25 1999 UTC
# Line 111  Line 111 
111    (* an abstract interface to a property on a window *)    (* an abstract interface to a property on a window *)
112      type property      type property
113    
114      val property : (Window.window * atom) -> property      val property : (EXB.window * atom) -> property
115          (* return the abstract representation of the named property on          (* return the abstract representation of the named property on
116           * the specified window.           * the specified window.
117           *)           *)
118    
119      val unusedProperty : Window.window -> property      val unusedProperty : EXB.window -> property
120          (* generate a property on the specified window that is guaranteed          (* generate a property on the specified window that is guaranteed
121           * to be unused.  Note that once this property has been "deleted"           * to be unused.  Note that once this property has been "deleted"
122           * its name may be reused.           * its name may be reused.
# Line 125  Line 125 
125           * are not using.           * are not using.
126           *)           *)
127    
128      val mkProperty : (Window.window * prop_val) -> property      val mkProperty : (EXB.window * prop_val) -> property
129          (* create a new property initialized to the given value *)          (* create a new property initialized to the given value *)
130    
131      val nameOfProp : property -> atom      val nameOfProp : property -> atom
# Line 202  Line 202 
202    
203    (** Selection owner operations **)    (** Selection owner operations **)
204    
205      val acquireSelection : (Window.window * atom * EXB.XTime.time)      val acquireSelection : (EXB.window * atom * EXB.XTime.time)
206            -> selection_handle option            -> selection_handle option
207          (* acquire the named selection *)          (* acquire the named selection *)
208    
# Line 232  Line 232 
232    (** Selection requestor operations **)    (** Selection requestor operations **)
233    
234      val requestSelection : {      val requestSelection : {
235              win : Window.window,              win : EXB.window,
236              selection : atom,              selection : atom,
237              target : atom,              target : atom,
238              property : atom,              property : atom,

Legend:
Removed from v.105  
changed lines
  Added in v.289

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