/** * 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); }