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