On 28/02/2026 22:07, Makarius wrote: > Thus AS+arrow > keys can be used uniformly to jump around quickly, based on formal entity > definitions, or explicit links (files, URLs, docs, etc.). As usual in this formal jEdit notation, "A" means "ALT" on Linux or Windows, and "CONTROL" on macOS. Makarius