parent
c07473792a
commit
5c2bb74538
1 changed files with 0 additions and 22 deletions
@ -1,22 +0,0 @@ |
||||
Index: synctex/synctex_parser.c
|
||||
===================================================================
|
||||
--- synctex.orig/synctex_parser.c 2010-05-23 19:02:29.000000000 +0200
|
||||
+++ synctex/synctex_parser.c 2010-05-23 19:07:22.000000000 +0200
|
||||
@@ -1510,7 +1510,7 @@
|
||||
|
||||
typedef synctex_status_t (*synctex_decoder_t)(synctex_scanner_t,void *);
|
||||
|
||||
-synctex_status_t _synctex_scan_named(synctex_scanner_t scanner,char * name,void * value_ref,synctex_decoder_t decoder);
|
||||
+synctex_status_t _synctex_scan_named(synctex_scanner_t scanner,const char * name,void * value_ref,synctex_decoder_t decoder);
|
||||
|
||||
/* Used when parsing the synctex file.
|
||||
* Read one of the settings.
|
||||
@@ -1520,7 +1520,7 @@
|
||||
* On return, the scanner points to the next character after the decoded object whatever it is.
|
||||
* It is the responsibility of the caller to prepare the scanner for the next line.
|
||||
*/
|
||||
-synctex_status_t _synctex_scan_named(synctex_scanner_t scanner,char * name,void * value_ref,synctex_decoder_t decoder) {
|
||||
+synctex_status_t _synctex_scan_named(synctex_scanner_t scanner,const char * name,void * value_ref,synctex_decoder_t decoder) {
|
||||
synctex_status_t status = 0;
|
||||
if(NULL == scanner || NULL == name || NULL == value_ref || NULL == decoder) {
|
||||
return SYNCTEX_STATUS_BAD_ARGUMENT;
|
||||
Loading…
Reference in new issue