diff --git a/core/synctex/patches/06-mingw-_synctex_error.diff b/core/synctex/patches/06-mingw-_synctex_error.diff index 1a5020b4a..cf89dec42 100644 --- a/core/synctex/patches/06-mingw-_synctex_error.diff +++ b/core/synctex/patches/06-mingw-_synctex_error.diff @@ -7,7 +7,7 @@ Index: synctex/synctex_parser_utils.c =================================================================== --- synctex.orig/synctex_parser_utils.c +++ synctex/synctex_parser_utils.c -@@ -101,8 +101,26 @@ int _synctex_log(int level, const char * +@@ -103,8 +103,26 @@ int _synctex_log(int level, const char * char *buff; size_t len; OutputDebugStringA(prompt); diff --git a/core/synctex/patches/08-fix_cpp_comments.diff b/core/synctex/patches/08-fix_cpp_comments.diff index 7cf131665..d8611a5dd 100644 --- a/core/synctex/patches/08-fix_cpp_comments.diff +++ b/core/synctex/patches/08-fix_cpp_comments.diff @@ -27,7 +27,7 @@ Index: synctex/synctex_parser_utils.c =================================================================== --- synctex.orig/synctex_parser_utils.c +++ synctex/synctex_parser_utils.c -@@ -583,6 +583,6 @@ int _synctex_get_name(const char * outpu +@@ -585,6 +585,6 @@ int _synctex_get_name(const char * outpu const char * _synctex_get_io_mode_name(synctex_io_mode_t io_mode) { static const char * synctex_io_modes[4] = {"r","rb","a","ab"}; diff --git a/core/synctex/patches/10-fix-typo.diff b/core/synctex/patches/10-fix-typo.diff index b22982be1..dd1e7ddd1 100644 --- a/core/synctex/patches/10-fix-typo.diff +++ b/core/synctex/patches/10-fix-typo.diff @@ -6,7 +6,7 @@ Index: synctex/synctex_parser_utils.c =================================================================== --- synctex.orig/synctex_parser_utils.c +++ synctex/synctex_parser_utils.c -@@ -406,7 +406,7 @@ char * _synctex_merge_strings(const char +@@ -408,7 +408,7 @@ char * _synctex_merge_strings(const char /* The purpose of _synctex_get_name is to find the name of the synctex file. * There is a list of possible filenames from which we return the most recent one and try to remove all the others. diff --git a/core/synctex/patches/13-fix-Wundef-warnings.diff b/core/synctex/patches/13-fix-Wundef-warnings.diff index 00012916d..0d6357fde 100644 --- a/core/synctex/patches/13-fix-Wundef-warnings.diff +++ b/core/synctex/patches/13-fix-Wundef-warnings.diff @@ -315,7 +315,7 @@ Index: synctex/synctex_parser_utils.c =================================================================== --- synctex.orig/synctex_parser_utils.c +++ synctex/synctex_parser_utils.c -@@ -126,7 +126,7 @@ int _synctex_log(int level, const char * +@@ -128,7 +128,7 @@ int _synctex_log(int level, const char * OutputDebugStringA("\n"); free(buff); } diff --git a/core/synctex/patches/15-prevent-leaks-and-segfault.diff b/core/synctex/patches/15-prevent-leaks-and-segfault.diff index 17bc677a2..25441c403 100644 --- a/core/synctex/patches/15-prevent-leaks-and-segfault.diff +++ b/core/synctex/patches/15-prevent-leaks-and-segfault.diff @@ -39,7 +39,7 @@ Index: synctex/synctex_parser.c @@ -5883,6 +5885,15 @@ synctex_scanner_p synctex_scanner_parse( scanner->x_offset = scanner->y_offset = 6.027e23f; scanner->reader->line_number = 1; - + + /* TODO: cleanup + * In some (all?) cases SYNCTEX_START is already initialized + * in synctex_reader_init_with_output_file(). Much of the diff --git a/core/synctex/synctex_parser.c b/core/synctex/synctex_parser.c index bd2878ee5..4c1923b9a 100644 --- a/core/synctex/synctex_parser.c +++ b/core/synctex/synctex_parser.c @@ -5884,7 +5884,7 @@ synctex_scanner_p synctex_scanner_parse(synctex_scanner_p scanner) { * If there is a post scriptum section, this value will be overriden by the real life value */ scanner->x_offset = scanner->y_offset = 6.027e23f; scanner->reader->line_number = 1; - + /* TODO: cleanup * In some (all?) cases SYNCTEX_START is already initialized * in synctex_reader_init_with_output_file(). Much of the