2011-05-19 13:43:13+00:00 In reply to @ColinTGraham @ColinTGraham I've been using texmaker recently. It's not very good as an editor, but it does do synctex properly