TeX re-encoding with TeXShop

$\rm \TeX$ re-encoding with TeXShop (OS X, 10.9)

Please read this page first.

For the TeXShop editor (tested on Mac OS 10.9), here is a tool which helps with this task.

If the applescript is installed and the wiki text file for an old EoM page with png images is displayed in the front document of TeXShop, then one keystroke (Ctrl-Command-S) removes all the png encodings and replaces them by $·$ (resp. $$·$$), prompting the user to fill in the appropriate $\rm\TeX$ code. The user can navigate between the placeholders $·$ and $$·$$ by pressing Ctrl-Command-F (forward) and Ctrl-Command-G (backward). The script also cleans up the references list.