gedit-plugins 2.31.7 ==================== New features and fixes ====================== - Misc fixes to synctex plugin. (José Aliste). ====================