Custom hotkeys

Add a system to allow custom hotkeys.

@Pregmodder I moved all option related passages to src/gui/options. Later I need to add a new passage for the hotkey selection, thought it makes sense to move them while I am at it.

That is fine. No denying the files need tidying.

added 199 commits

• f87c74cd...26247d06 - 186 commits from branch pregmodfan:pregmod-master
• 3181cdba - move options related passages to gui/options
• a558695d - add mousetrap record plugin from https://github.com/DmitryShashkov/mousetrap
• 2faca8ae - Add minimal implementation for a layer between mousetrap and the actual code
• 8622db94 - move from App.UI.Navigation to App.UI.Hotkeys
• aefaab23 - make App.SF.Caps more robust
• 2774be62 - add dynamic hotkey display for return link
• 5eb799d2 - add custom hotkeys settings UI
• 091694e7 - make default hotkeys consistent with recorded values
• 3acc79fa - make hotkeys look nicer
• f5e3fb31 - grammar fixes
• d531b8a0 - use space more efficiently on wide screens
• e828601d - correct namespace for hotkeys
• bb3d16d9 - add save/load custom hotkeys

Compare with previous version

changed the description

added 2 commits

• cb2f4364 - fix reset button
• 2f3e5cd7 - Make UI mentions of hotkeys dynamic

Compare with previous version

This is ready for review.

If the screen is too small it will collapse into one column.

unmarked as a Work In Progress

Universal rules isn't an options menu, so it wouldn't go there.

Other than that, looks pretty good.

Where then? Back to uncategorized/?

Social? It belongs with Policies/Edicts imho.

Uncategorized for now. Svornost is correct about its peers.

It's similar to arcology management things like FS management and the like.

Moved it back.

added 15 commits

• ca36abf5 - move options related passages to gui/options
• 5e7e37dc - add mousetrap record plugin from https://github.com/DmitryShashkov/mousetrap
• 6bdf9e94 - Add minimal implementation for a layer between mousetrap and the actual code
• 293d108c - move from App.UI.Navigation to App.UI.Hotkeys
• 05c1b503 - make App.SF.Caps more robust
• 8be66e5c - add dynamic hotkey display for return link
• cfb4c5c5 - add custom hotkeys settings UI
• 106eeff6 - make default hotkeys consistent with recorded values
• bad80bda - make hotkeys look nicer
• 752d011e - grammar fixes
• 6ab50155 - use space more efficiently on wide screens
• 0d07ec8f - correct namespace for hotkeys
• b48a41e7 - add save/load custom hotkeys
• ddf762ca - fix reset button
• 217f06a6 - Make UI mentions of hotkeys dynamic

Compare with previous version

Ready for merge?

Yes

merged

mentioned in commit b2d1ccbd