shortcut_widget


Description:

public Widget shortcut_widget { get; set; }

Tab shortcut widget.

Has the following shortcuts:

* <kbd>Ctrl</kbd>+<kbd>Page Up</kbd> - switch to the previous page * <kbd>Ctrl</kbd>+<kbd>Page Down </kbd> - switch to the next page * <kbd>Ctrl</kbd>+<kbd>Home</kbd> - switch to the first page * <kbd>Ctrl </kbd>+<kbd>End</kbd> - switch to the last page * <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Page Up </kbd> - move the current page backward * <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Page Down</kbd> - move the current page forward * <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Home</kbd> - move the current page at the start * <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>End</kbd> - move the current page at the end * <kbd >Ctrl</kbd>+<kbd>Tab</kbd> - switch to the next page, with looping * <kbd>Ctrl</kbd>+<kbd>Shift</kbd >+<kbd>Tab</kbd> - switch to the previous page, with looping * <kbd>Alt</kbd>+<kbd>1</kbd>⋯<kbd> 9</kbd> - switch to pages 1-9 * <kbd>Alt</kbd>+<kbd>0</kbd> - switch to page 10

These shortcuts are always available on self, this property is useful if they should be available globally.