Paulo Reis ddee75e479 Use a getterSetter to manage int values in settings.

2017-06-20 17:08:53 +01:00

..

coffee

Revert "update pdfjs to v1.8.188"

2017-06-15 11:14:01 +01:00

templates/project_files

…

views

Use a getterSetter to manage int values in settings.

2017-06-20 17:08:53 +01:00