Update refocus from menu actions, and adjust some options#1245

dpvc merged 1 commit intodevelopmathjax/MathJax-src:developfrom

update/explorer-miscmathjax/MathJax-src:update/explorer-miscCopy head branch name to clipboard