Thank you for reading this. I firstly have to add that I've already submitted a bug report for this issue, and am posting here to see if anyone has found a temporary workaround.
While Arduino Pro IDE is open, Cmd-R ("refreshing" shortcut) does not work in any relevant application (Safari, Chrome, Firefox, etc.).
Steps to reproduce the behavior:
- Launch 'Arduino Pro IDE'
- Launch 'Safari' or 'Chrome'
- Try to refresh a page using Cmd-R in either 'Safari' or 'Chrome'
- Encounter the issue
While manual clicking on the "refresh" button in either relevant application refreshes the page, Cmd-R does not do its intended action.
OS: OS X