GUI custom keyboard shortcuts
Allow GUI keyboard shortcuts to be configured using json. eg.
"ctrl+g": { "uri": "/sources/0/freeze", "op": "toggle" }
!! The university Gitlab servers will be under database migration and maintenance on 6.5. from 08:00 onwards. !!
!! There will be some sporadic server outages of undetermined duration during the day and we suggest you avoid any larger projects or CI/CD runs during this period. !!
!! There will be an announcement here when the maintenance is done. !!
Allow GUI keyboard shortcuts to be configured using json. eg.
"ctrl+g": { "uri": "/sources/0/freeze", "op": "toggle" }
added To Do label
changed the description
Can't proceed further until net configurables are added to local configurable space.
mentioned in merge request !181 (merged)
closed via merge request !181 (merged)
mentioned in commit cc3bfde2
mentioned in commit 78ad3d55