Efficiency and little changes

Threw match case the code got little faster.
I also corrected some weird keyboard navigation hover bugs fixed.
Furthermore the terminal now got a clock and settings have a complete new look.
The last really nameable thing is about that now, if you undo an action, this action is actually marked as undone (if not undone with the button), so you better reflect in the history detail view how the game was.