Modifier and Type | Method and Description |
---|---|
boolean |
WDDMan.changeCurrentDesktopByName(java.lang.String name)
The function changeCurrentDesktopByName(String name) changes the current
desktop according to the parameter name.
|
boolean |
WDDMan.changeCurrentDesktopByPosition(int position)
The function changeCurrentDesktopByPosition(int position) changes the
current desktop according to the parameter position.
|
void |
Window.close()
The function close() closes the window.
|
Desktop |
WDDMan.findDesktopByName(java.lang.String name)
The function findDesktopByName(String name) finds and returns a desktop
with the same title as the parameter title (case sensitive).
|
Desktop |
WDDMan.findDesktopByPosition(int position)
The function findDesktopByPosition(int position) finds and returns a
desktop with the same position as the parameter position.
|
int |
Window.getBottom()
The function getBottom() returns the distance of the lower edge of the
window from the upper edge of the display area.
|
Desktop |
WDDMan.getCurrentDesktop()
The function returns the current desktop
|
Desktop |
Window.getDesktop()
The function getDesktop() returns the desktop on which is the window.
|
int |
WDDMan.getDesktopCount()
The function returns the number of desktops
|
java.util.List<Desktop> |
WDDMan.getDesktops()
The function getDesktops() returns a List of all current desktops.
|
java.util.List<Display> |
WDDMan.getDisplays()
The function getDesktops() returns a List of all current displays.
|
int |
WDDMan.getDisplaysCount()
The function getDisplaysCount() returns the number of displays.
|
int |
Window.getHeight()
The function getHeight() returns the height of the window.
|
int |
Window.getLeft()
The function getLeft() returns the distance of the left edge of the
window from the upper edge of the display area.
|
int |
Window.getRight()
The function getRight() returns the distance of the right edge of the
window from the upper edge of the display area.
|
int |
WDDMan.getScreenHeight()
The function getScreenWidth() returns the height of the display area.
|
int |
WDDMan.getScreenWidth()
The function getScreenWidth() returns the width of the display area.
|
java.lang.String |
Window.getTitle()
The function getTitle() returns the title of the Window.
|
int |
Window.getTop()
The function getTop() returns the distance of the upper edge of the
window from the upper edge of the display area.
|
java.util.List<Window> |
Desktop.getVisibleWindows()
The function getVisibleWindows() returns the List of all visible windows
on the desktop.
|
java.util.List<Window> |
WDDMan.getVisibleWindows()
The function getWindows() returns a List of all current visible windows.
|
int |
Window.getWidth()
The function getWidth() returns the width of the window.
|
Window |
WDDMan.getWindowByTitle(java.lang.String title)
The function getWindowByTitle() finds and returns a window with the same
title as the parameter title (case sensitive).
|
java.util.List<Window> |
Desktop.getWindows()
The function getWindows() returns the List of all windows on the desktop.
|
java.util.List<Window> |
WDDMan.getWindows()
The function getWindows() returns a List of all current windows.
|
java.util.List<Window> |
WDDMan.getWindowsByTitle(java.lang.String title)
The function getWindowsByTitle() finds and returns a List of all windows
with the same title as the parameter title (case sensitive).
|
boolean |
Desktop.isCurrent()
The function isCurrent() returns whether the desktop is active.
|
boolean |
Window.isVisible()
The function isVisible() returns true if and only if the window is
visible.
|
void |
Window.move(int x,
int y)
The function move() moves the window to the right by x pixels and down by
y pixels.
|
void |
WDDMan.moveWindowToDesktop(Window window,
Desktop desktop)
The function moveWindowToDesktop(Window window, Desktop desktop) moves
the window window to the desktop desktop.
|
void |
Window.resize(int x,
int y,
int width,
int height)
The function resize() sets the size of the window so that its upper left
corner has the distance x pixels from the upper edge of the display area,
y pixels from the left edge of the display area, the width width pixels,
and the height height pixels.
|