Skip to content
Discussion options

You must be logged in to vote

You can remove those two bindings from the config file Mango actually loads. Ctrl+Left and Ctrl+Right are lines in the shipped config.conf; they are not hardcoded workspace shortcuts. In 0.17.4, the hardcoded binding list contains the Ctrl+Alt virtual-terminal bindings, not these arrow-key bindings.

I checked the 0.17.4 config and parser source with this small script:

$ python3 - <<'PY'
from pathlib import Path
config = Path('assets/config.conf').read_text().splitlines()
builtin = Path('src/config/parse_config.c').read_text().split('static KeyBinding default_key_bindings[] = {', 1)[1].split('};', 1)[0]
for key in ('Left', 'Right'):
    matches = [line for line in config if line.startswith…

Replies: 1 comment 2 replies

Comment options

You must be logged in to vote
2 replies
@dangitsegfault
Comment options

@Arthur031221
Comment options

Answer selected by dangitsegfault
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants