Author: mareshkau
Date: 2008-09-11 11:46:52 -0400 (Thu, 11 Sep 2008)
New Revision: 10206
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java
Log:
JBIDE-2613
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java
===================================================================
---
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2008-09-11
14:50:02 UTC (rev 10205)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2008-09-11
15:46:52 UTC (rev 10206)
@@ -247,7 +247,9 @@
private IKeyEventHandler keyEventHandler;
public final static String MODEL_FLAVOR = ModelTransfer.MODEL;
-
+ //contains vpe update delau time in miliseconds
+ private int vpeUpdateDelayTime;
+
public VpeController(VpeEditorPart editPart) {
this.editPart = editPart;
@@ -350,7 +352,9 @@
elReferenceListListener = ELReferenceList.getInstance();
elReferenceListListener.addChangeListener(this);
-
+
+ //initialization of vpe update delay time
+ vpeUpdateDelayTime = 400;
// pageContext.fireTaglibsChanged();
}
@@ -542,10 +546,11 @@
uiJob.setPriority(Job.LONG);
// Fix of JBIDE-1900
- uiJob.schedule(400L);
+ uiJob.schedule(getVpeUpdateDelayTime());
} else {
uiJob.cancel();
- uiJob.schedule(400L);
+ uiJob.schedule(getVpeUpdateDelayTime());
+ setVpeUpdateDelayTime(400);
}
return;
@@ -1219,7 +1224,7 @@
} finally {
switcher.stopActiveEditor();
}
-
+ setVpeUpdateDelayTime(0);
/*
* adding calls of core event handlers, for example' CTR+H' or
* 'CTRL+M' event handler dialog
@@ -3321,5 +3326,19 @@
public VpeVisualDomBuilder getVisualBuilder() {
return visualBuilder;
}
+
+ /**
+ * @return the vpeUpdateDelayTime
+ */
+ private int getVpeUpdateDelayTime() {
+ return vpeUpdateDelayTime;
+ }
+
+ /**
+ * @param vpeUpdateDelayTime the vpeUpdateDelayTime to set
+ */
+ private void setVpeUpdateDelayTime(int vpeUpdateDelayTime) {
+ this.vpeUpdateDelayTime = vpeUpdateDelayTime;
+ }
}
Show replies by date