From b0567cc08dc472a9d7149ae16569750b0b8a7ebf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Walter?= <juergen.walter@uni-wuerzburg.de>
Date: Fri, 18 May 2018 13:33:23 +0200
Subject: [PATCH] minor
---
.../tools/descartes/dql/core/engine/util/EditorHelper.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/core/tools.descartes.dql.core.engine/src/tools/descartes/dql/core/engine/util/EditorHelper.java b/core/tools.descartes.dql.core.engine/src/tools/descartes/dql/core/engine/util/EditorHelper.java
index d89b2719..c3c43196 100644
--- a/core/tools.descartes.dql.core.engine/src/tools/descartes/dql/core/engine/util/EditorHelper.java
+++ b/core/tools.descartes.dql.core.engine/src/tools/descartes/dql/core/engine/util/EditorHelper.java
@@ -24,9 +24,9 @@ public class EditorHelper {
}
if (win != null) {
- IWorkbenchPage page = win.getActivePage();
+ final IWorkbenchPage page = win.getActivePage();
if (page != null) {
- IFileStore fileStore = EFS.getLocalFileSystem().getStore(iPath);
+ final IFileStore fileStore = EFS.getLocalFileSystem().getStore(iPath);
Display.getDefault().asyncExec(new Runnable() {
public void run() {
--
GitLab