Skip to content
GitLab
Explore
Sign in
Allow to have shortcuts like `CTRL-R` in the terminal layout
Code
Review changes
Check out branch
Download
Patches
Plain diff
Guido Günther
requested to merge
terminal-shortcuts
into
main
Dec 13, 2022
Overview
2
Commits
6
Pipelines
7
Changes
14
Expand
Allow to define shortcuts that are displayed at the top of the terminal layout.
Merge request reports