I don't know if Dirk has already tagged 4.7.2 or not so it will be in either 4.7.2 or 4.7.3 BUGS: 274294remotes/origin/KDE/4.7 v4.7.2
parent
2b82372f5d
commit
b932ef7e0f
3 changed files with 33 additions and 1 deletions
@ -0,0 +1,22 @@ |
||||
diff --git a/generators/poppler/synctex/synctex_parser_utils.c b/generators/poppler/synctex/synctex_parser_utils.c
|
||||
index 8a79da0..6a6165f 100644
|
||||
--- a/generators/poppler/synctex/synctex_parser_utils.c
|
||||
+++ b/generators/poppler/synctex/synctex_parser_utils.c
|
||||
@@ -184,7 +184,16 @@ next_character:
|
||||
++rhs;
|
||||
goto next_character;
|
||||
# else
|
||||
- return 0 == strcmp(lhs,rhs)?synctex_YES:synctex_NO;
|
||||
+ if (lhs[0] == '/' && rhs[0] == '/') { /* for absolute paths compare the real paths */
|
||||
+ char *lhsreal = realpath(lhs, 0);
|
||||
+ char *rhsreal = realpath(rhs, 0);
|
||||
+ synctex_bool_t result = lhsreal && rhsreal && 0 == strcmp(lhsreal,rhsreal)?synctex_YES:synctex_NO;
|
||||
+ free (lhsreal);
|
||||
+ free (rhsreal);
|
||||
+ return result;
|
||||
+ } else {
|
||||
+ return 0 == strcmp(lhs,rhs)?synctex_YES:synctex_NO;
|
||||
+ }
|
||||
# endif
|
||||
}
|
||||
|
||||
Loading…
Reference in new issue