/* * Copyright (c) Jupyter Development Team. * Distributed under the terms of the Modified BSD License. */ import { ITranslator } from '@jupyterlab/translation'; import { FilterBox } from '@jupyterlab/ui-components'; import * as React from 'react'; import { ShortcutTitleItem } from './ShortcutTitleItem'; import { IShortcutUI } from '../types'; export interface IAdvancedOptionsProps { toggleSelectors: IShortcutUI['toggleSelectors']; showSelectors: boolean; resetShortcuts: IShortcutUI['resetShortcuts']; translator: ITranslator; } export interface ISymbolsProps {} function Symbols(props: ISymbolsProps): JSX.Element { return (
| Cmd | ⌘ | Ctrl | ⌃ |
| Alt | ⌥ | Shift | ⇧ |