Michał Krassowski 02da51e271 Do not show tooltip when completer is active (#10588) hace 3 años
..
consoles.json 1ce64bee5e Remove category and title in shortcuts. hace 6 años
files.json c34a1bf4ad ensures that 'shift tab' => dedent shortcut works in text editor hace 5 años
notebooks.json 02da51e271 Do not show tooltip when completer is active (#10588) hace 3 años