medInria/medInria-public — pull request #85 by gpasquie (2013-08-09 10:07:10+00:00)
Title: Save browser settings

Some slight modifications to be able to save browser settings and to retrieve the browser in its last saved state after a restart.
https://med.inria.fr/redmine/issues/1753

Guillaume