Package | Description |
---|---|
fr.inria.zvtm.engine.portals |
Portals that can be embedded in ZVTM views (to create views within views).
|
Modifier and Type | Method and Description |
---|---|
PortalListener |
Portal.getPortalListener()
Get the event handler for mouse and keyboard events occuring inside the portal (null if none)
|
Modifier and Type | Method and Description |
---|---|
void |
Portal.setPortalListener(PortalListener peh)
Set an event handler for mouse and keyboard events occuring inside the portal.
|
Copyright © 2000-2002 Xerox Corporation. All Rights Reserved
Copyright © 2003 World Wide Web Consortium. All Rights Reserved
Copyright © 2004-2015 INRIA. All Rights Reserved
Licensed under the GNU LGPL. For full terms see the file COPYING.