- made text in stroke display not gray out when window loses focus
- added style choice to stroke display
- made plover more resilient when machine specific keys are pressed