[Pharo-project] LaTeX users: favorite editor??

Stef, I looked at the PBE page again and noticed a link to the LaTeX sources for the book, which lead me to wonder what editor you use? I recently found TeX Maker, and generally like it. My one complaint is that (so far at least) I have found no analog to texify, which (part of MikTeX) would do everything required to update a document. While that might be painful for "quick" edits to a book, it's great for shorter documents or to ensure that the toc, references, etc. are up to date. Bill