Author: dmaliarevich
Date: 2012-02-07 09:42:48 -0500 (Tue, 07 Feb 2012)
New Revision: 38465
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java
Log:
https://issues.jboss.org/browse/JBIDE-8701 - code adjustment.
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 2012-02-07
14:35:37 UTC (rev 38464)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2012-02-07
14:42:48 UTC (rev 38465)
@@ -435,10 +435,6 @@
*/
selectionManager.setUpdateSelectionEventFlag(false);
}
-
- private ScrollBar getSourceEditorVerticalScrollBar() {
- return sourceEditorVerticalScrollBar;
- }
private void removeSourceScrollListener() {
if (sourceEditorVerticalScrollBar != null && sourceScrollSelectionListener !=
null) {