explore
Explore
door-enter
Log in
menu
announcement

Spectrum is now read-only. Learn more about the decision in our official announcement.

Theia

Eclipse Theia - Cloud & Desktop IDE

link
https://theia-ide.org
Channels
# All channels
view-forward
# General
Team
Akos Kitta
@kittaakos
Anatoliy Bazko
@abazko
Sven Efftinge
@svenefftinge
Paul Maréchal
@marechal-p
Anton Kosyakov
@anton-kosyakov
Casey Flynn
@caseyflynn
Florent BENOIT
@florentbenoit
Jan Bicker
@jbicker
Artem Zatsarynnyi
@artem-z
Simon Marchi
@simark
Liang
@elaihau
Gorkem Ercan
@gercan
Jacques Bouthillier
@jacques-bouthillier
Rob Moran
@thegecko
Miro Spönemann
@spoenemann
Alex Tugarev
@alex-tugarev
Marc Dumais
@marc-dumais
Vince Fugnitto
@vince-fugnitto

Keybindings have collision

October 16, 2019 at 7:57am
Valeriy Svydenko
@vsvydenko

Keybindings have collision

October 16, 2019 at 7:57am
Keybindings for Go to definition and Go to implementation commands have collision, both are bound with ctrl+f12. Looks like the problem is related to the issue https://github.com/microsoft/monaco-editor/issues/1407. Does it make sense to change default keybinding for Go to definition command and set it as ctrl+f11, WDYT?
October 16, 2019 at 8:43am
8:43am
in the electron version of theia, they are bound to f12 and <ctrl>f12 respectively. If we can rebind "goto definition", why not rebind it to f12? Or is this a browser/electron issue?
8:45am
I know that f12 opens the devtools, but that is als available via a menu, right?
10:20am
in the electron we have f12 for Go to definition and ctr+f12 for Go to implementation and it works nice but in the browser we have crl+f12 for both and we can't rebind it to f12 - the browser will intercept that action
Team
2:08pm
I think it makes sense to rebind it, not sure what will be the good keybinding. if ctrl+f11 is free for browser and does not do anything special on different OS then it should be fine. We can also try to use another modifier, i.e. shift+f12.
2:08pm
It would be good to have an issue for it.
October 17, 2019 at 11:29am
11:29am
ctrl+f11 is free and doesn't have any effects for browser and OSs. shift+f12 is bound for Peek References. The PR to rebind is here https://github.com/eclipse-theia/theia/pull/6411
like-fill
1