If you delete a custom highlighting style that had been previously assigned to a key, the key assignment still shows up in the letter assignment dropdown menu, until you close and restart Logos.
To reproduce:
- Create two custom highlights.
- Assign one to "A" and the other to "B"
- Right click on the one assigned to "A" and select Delete.
- Now right click on the one assigned to "B"
- Click the Shortcut key dropdown arrow.
Notice the key assignment for "A" is still there even though that style has been deleted. If you close and reopen the Highlighting panel, it is still there. You have to close and restart Logos to make it go away. Shouldn't have to.
