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