Tracker »

Issue 1700 – Ctrl+Shift+Alt-? keyboard shortcuts for custom commands and extensions were not working

Component: GUI

Version: 5.8.3 RC

Severity: Bug

Priority: Medium

Votes: 0

Status: RESOLVED

Resolution: FIXED

Fixed in: 5.13.5

Last modified: 2018-11-06 08:06

2018-11-05 14:02

See Issue 1613

2018-11-05 14:04

Fixed.

2018-11-06 08:06

Commit 3e7789ca
Commit 917744be