Paulo Reis 3bdbe7e538 Set synctex controls z-index to the minimum working value.

2017-02-24 14:36:08 +00:00

..

web

Set synctex controls z-index to the minimum working value.

2017-02-24 14:36:08 +00:00