Author: dgolovin
Date: 2007-11-01 12:08:56 -0400 (Thu, 01 Nov 2007)
New Revision: 4635
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeVisualKeyHandler.java
Log:
http://jira.jboss.org/jira/browse/JBIDE-1211
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeVisualKeyHandler.java
===================================================================
---
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeVisualKeyHandler.java 2007-11-01
16:07:23 UTC (rev 4634)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeVisualKeyHandler.java 2007-11-01
16:08:56 UTC (rev 4635)
@@ -406,7 +406,8 @@
//delete whitespaces
int endPos = 0;
- while(TextUtil.isWhitespace(((TextImpl)focusNode).getValueSource().toCharArray()[offset+endPos])){
+ char[] chars = ((TextImpl)focusNode).getValueSource().toCharArray();
+ while(chars.length > (offset+endPos) &&
TextUtil.isWhitespace(chars[offset+endPos])){
endPos++;
}
Point range = sourceEditor.getTextViewer().getSelectedRange();