-
Germán Poo-Caamaño authored
Version 1.19 changes the API, normalized the data types, and function names. To keep the API backwards compatible, we use a dummy value for the new parameters (page-hint) in synctex_display_query. page-hint is aimed to the results, setting be the best matches close to the page-hint. Fixes #878
ed2d42b8