KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > hibernate > eclipse > console > editors > HQLEditor


1 package org.hibernate.eclipse.console.editors;
2
3 import org.eclipse.ui.editors.text.TextEditor;
4
5 public class HQLEditor extends TextEditor {
6
7     private ColorManager colorManager;
8     public static final String JavaDoc ID = "org.hibernate.eclipse.console.editors.hqleditor";
9
10     public HQLEditor() {
11         super();
12         colorManager = new ColorManager();
13         setSourceViewerConfiguration(new HQLConfiguration(colorManager));
14         setDocumentProvider(new HQLDocumentProvider());
15     }
16     public void dispose() {
17         colorManager.dispose();
18         super.dispose();
19     }
20
21 }
22
Popular Tags