tree fbf2bb644b5fc301196839292cfeb2a155cf7dd2
parent 5ace20a544db0df7b17017a713231a6df640624b
author Laurent Fasani <laurent.fasani@obeo.fr> 1611251011 +0100
committer Laurent Fasani <laurent.fasani@obeo.fr> 1614186902 +0100

[570355] Update SiriusPreferenceKeys.PREF_AUTO_REFRESH usage

Use session.getSiriusPreferences().isAutoRefresh() instead of getting
its value directly from the Instance scope.

Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=570355
Change-Id: I7b693e9f8c2ead7004bf13d57a0bbf0e46fe519f
Signed-off-by: Laurent Fasani <laurent.fasani@obeo.fr>