Thread
:
Sigil-0.9.13 Released
View Single Post
05-10-2019, 10:49 PM
#
191
KevinH
Sigil Developer
Posts: 8,893
Karma: 6120478
Join Date: Nov 2009
Device: many
I checked and the code to set keyboard shortcut preferences and the related shortcut manager code had not been touched in 4 years. So whatever is happening, it is not due to any recent changes to that code.
KevinH
View Public Profile
Find More Posts by KevinH
Track Posts by KevinH via RSS