resource RWindow
// This is a Java-specific resource for identifying windows.
operations
RWindow (w: java.awt.Window)
"Construct an RWindow object corresponding to w."
Naccio Home Page
University of Virginia, Computer Science