/**
* Register a system hot key for specified shell.
*
* @param shell the shell will be registered hot key.
* @param hotKey specified hot key.
*/
public static void setHotKey(Shell shell, HotKey hotKey) {
Windows.setHotKey(shell.handle, hotKey);
}
/**
* Get the system hot key of specified shell.
*
* @param shell specified shell
* @return the system hot key of specified shell.
*/
public static HotKey getHotKey(Shell shell) {
return Windows.getHotKey(shell.handle);
}
/** @return The FileSystem implementation for the OS */
protected FileSystem getFileSystem() {
return Windows.isWindows() ? new WindowsFileSystem(this) : new DefaultFileSystem(this);
}
