Alexander Regueiro

Thank you, I appreciate that. It works perfectly, of course. On 19 Jan 2021, at 17:49, Christiaan Hofman hofman@users.sourceforge.net wrote: Sorry, yes, I did. see the preset setting for VS Code (you may need to re-select it). [bugs:#1392] https://sourceforge.net/p/skim-app/bugs/1392/ URL-encoded version of %file? Status: closed-fixed Group: Other Created: Thu Jan 14, 2021 01:10 AM UTC by Alexander Regueiro Last Updated: Tue Jan 19, 2021 05:47 PM UTC Owner: nobody For PDF-TeX syncing for Visuala...

Does this mean you modified the behaviour? I ddn't see any reply to the points I raised.

Some considerations: 1) Visual Studio Code is very popular, I believe one of the two most popular text editors these days. This issue applies to VS Code on multiple platforms. So it’s not really “rare” at all. 2) The performance hit is in forking out a process, especially on Windows, but also other OSs. There is basically no performance hit in computing the URL-encoded version of a string within a process, since it can be done very efficiently. 3) There is no bundled or easily available URL encoder...

Sorry, I hadn't finished: I was thinking the best solution might be to have a URL-encoded var like "%fileurl" available.

URL-encoded version of `%file`?

Upgraded to use latest version of dulwich (0.9.1).

Updated `setup.py` file to reflect requirement on newer version of dulwich package.

You’re right, it’s back up already. False alarm, sorry. On 11 Nov 2015, at 22:41,...