aboutsummaryrefslogtreecommitdiffstats
path: root/ajbrowser/src
diff options
context:
space:
mode:
Diffstat (limited to 'ajbrowser/src')
-rw-r--r--ajbrowser/src/main/java/org/aspectj/tools/ajbrowser/ui/EditorManager.java3
1 files changed, 2 insertions, 1 deletions
diff --git a/ajbrowser/src/main/java/org/aspectj/tools/ajbrowser/ui/EditorManager.java b/ajbrowser/src/main/java/org/aspectj/tools/ajbrowser/ui/EditorManager.java
index b737cf07e..249992dd7 100644
--- a/ajbrowser/src/main/java/org/aspectj/tools/ajbrowser/ui/EditorManager.java
+++ b/ajbrowser/src/main/java/org/aspectj/tools/ajbrowser/ui/EditorManager.java
@@ -17,6 +17,7 @@ import java.awt.BorderLayout;
import java.awt.event.KeyEvent;
import java.io.IOException;
import java.util.ArrayList;
+import java.util.List;
import java.util.Vector;
import javax.swing.Box;
@@ -43,7 +44,7 @@ public class EditorManager {
private EditorAdapter editor = null;
private BasicEditor basicEditor = null;
- private ArrayList<EditorListener> editorListeners = new ArrayList<>();
+ private List<EditorListener> editorListeners = new ArrayList<>();
private Vector<EditorAdapter> editors = new Vector<>();
private JPanel editor_panel = null;
private Box editors_box = Box.createVerticalBox();