@ColinTGraham I've been using texmaker recently. It's not very good as an editor, but it does do synctex properly