Author: mareshkau Date: 2008-01-21 06:57:13 -0500 (Mon, 21 Jan 2008) New Revision: 5826 Modified: trunk/common/plugins/org.jboss.tools.common.text.xml/src/org/jboss/tools/common/text/xml/ui/FreeCaretStyledText.java Log: http://jira.jboss.com/jira/browse/JBIDE-1479, org.jboss.tools.common.text.xml.patch was applied Modified: trunk/common/plugins/org.jboss.tools.common.text.xml/src/org/jboss/tools/common/text/xml/ui/FreeCaretStyledText.java =================================================================== --- trunk/common/plugins/org.jboss.tools.common.text.xml/src/org/jboss/tools/common/text/xml/ui/FreeCaretStyledText.java 2008-01-21 11:55:05 UTC (rev 5825) +++ trunk/common/plugins/org.jboss.tools.common.text.xml/src/org/jboss/tools/common/text/xml/ui/FreeCaretStyledText.java 2008-01-21 11:57:13 UTC (rev 5826) @@ -67,11 +67,28 @@ } public void redrawRange(int start, int length, boolean clearBackground) { - try { - super.redrawRange(start, length, clearBackground); - } catch (Exception x) { - //ignore - } - } - + try { + super.redrawRange(start, length, clearBackground); + } catch (Exception x) { + // ignore + //FIX for JBIDE-1479 added by Max Areshkau + if (start > getCharCount()) + start = getCharCount(); + if (start + length > getCharCount()) + length = getCharCount() - start; + super.redrawRange(start, length, clearBackground); + } + } + + public int getLineAtOffset(int offset) { + try { + return super.getLineAtOffset(offset); + } catch (Exception e) { + if (offset > getCharCount()) + offset = getCharCount(); + if (offset < 0) + offset = 0; + return super.getLineAtOffset(offset); + } + } }