[DrJava] [ drjava-Bugs-1471523 ] Ctrl-Shift-PgUp or Home in Interactions Pane

[SourceForge.net <no...@so...>]

Bugs item #1471523, was opened at 2006-04-16 21:29
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1471523&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Interactions
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Ctrl-Shift-PgUp or Home in Interactions Pane

Initial Comment:
I can't exactly reproduce this, but quite often when I
press Ctrl-Shift-PgUp or Ctrl-Shift-Home in the
Interactions Pane, I get the exception below. Sometimes
it even puts the pane in an inconsistent state that
causes several errors per second.

java.lang.RuntimeException: Attempt to call current on
an iterator in the final position
	at
edu.rice.cs.drjava.model.definitions.reducedmodel.ModelList$Iterator.current(ModelList.java:249)
	at
edu.rice.cs.drjava.model.definitions.reducedmodel.ReducedModelControl.getHighlightStatus(ReducedModelControl.java:408)
	at
edu.rice.cs.drjava.model.AbstractDJDocument.getHighlightStatus(AbstractDJDocument.java:231)
	at
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.paint(ColoringGlyphPainter.java:119)
	at
javax.swing.text.GlyphView.paintTextUsingColor(GlyphView.java:471)
	at javax.swing.text.GlyphView.paint(GlyphView.java:447)
	at javax.swing.text.BoxView.paintChild(BoxView.java:144)
	at javax.swing.text.BoxView.paint(BoxView.java:407)
	at javax.swing.text.BoxView.paintChild(BoxView.java:144)
	at javax.swing.text.BoxView.paint(BoxView.java:407)
	at
javax.swing.text.ParagraphView.paint(ParagraphView.java:582)
	at javax.swing.text.BoxView.paintChild(BoxView.java:144)
	at javax.swing.text.BoxView.paint(BoxView.java:407)
	at
javax.swing.plaf.basic.BasicTextUI$RootView.paint(BasicTextUI.java:1338)
	at
javax.swing.plaf.basic.BasicTextUI.paintSafely(BasicTextUI.java:643)
	at
javax.swing.plaf.basic.BasicTextUI.paint(BasicTextUI.java:781)
	at
javax.swing.plaf.basic.BasicTextUI.update(BasicTextUI.java:760)
	at
javax.swing.JComponent.paintComponent(JComponent.java:742)
	at
edu.rice.cs.drjava.ui.InteractionsPane.paintComponent(InteractionsPane.java:167)
	at javax.swing.JComponent.paint(JComponent.java:1005)
	at
javax.swing.JComponent.paintWithOffscreenBuffer(JComponent.java:4963)
	at
javax.swing.JComponent.paintDoubleBuffered(JComponent.java:4916)
	at
javax.swing.JComponent._paintImmediately(JComponent.java:4859)
	at
javax.swing.JComponent.paintImmediately(JComponent.java:4666)
	at
javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:451)
	at
javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:114)
	at
java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:461)
	at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:242)
	at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163)
	at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157)
	at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149)
	at
java.awt.EventDispatchThread.run(EventDispatchThread.java:110)


System Properties:
drjava.debug.port = 1827
java.runtime.name = Java(TM) 2 Runtime Environment,
Standard Edition
sun.boot.library.path = C:\jdk1.5.0\jre\bin
java.vm.version = 1.5.0_05-b05
java.vm.vendor = Sun Microsystems Inc.
java.vendor.url = http://java.sun.com/
path.separator = ;
java.vm.name = Java HotSpot(TM) Client VM
file.encoding.pkg = sun.io
user.country = US
sun.os.patch.level = Service Pack 2
java.vm.specification.name = Java Virtual Machine
Specification
user.dir = C:\Documents and Settings\mgricken\My
Documents\Semester 4 Spring 2006\COMP 312\drjava\drjava
java.runtime.version = 1.5.0_05-b05
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\jdk1.5.0\jre\lib\endorsed
os.arch = x86
java.io.tmpdir = c:\DOCUME~1\mgricken\LOCALS~1\Temp\
line.separator = "\u000d\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
user.variant = 
os.name = Windows XP
sun.jnu.encoding = Cp1252
java.library.path =
C:\jdk1.5.0\bin;.;C:\WINDOWS\system32;C:\WINDOWS;C:\cygwin\usr\local\bin;c:\jdk1.5.0\bin;C:\cygwin\packages\apache-ant-1.6.5\bin;C:\cygwin\usr\local\bin;C:\cygwin\bin;C:\cygwin\bin;C:\cygwin\usr\X11R6\bin;c:\WINDOWS\system32;c:\WINDOWS;c:\WINDOWS\System32\Wbem;c:\Program
Files\Perforce;c:\jdk1.5.0\bin;c:\Program
Files\Tools;c:\Program
Files\Tools\SysInternals;C:\cygwin\lib\lapack
java.specification.name = Java Platform API Specification
java.class.version = 49.0
sun.management.compiler = HotSpot Client Compiler
os.version = 5.1
user.home = C:\Documents and Settings\mgricken
user.timezone = America/Chicago
java.awt.printerjob = sun.awt.windows.WPrinterJob
file.encoding = Cp1252
java.specification.version = 1.5
java.class.path =
C:\jdk1.5.0\lib\tools.jar;C:\Documents and
Settings\mgricken\My Documents\Semester 4 Spring
2006\COMP 312\drjava\drjava\classes\base;C:\Documents
and Settings\mgricken\My Documents\Semester 4 Spring
2006\COMP
312\drjava\drjava\classes\lib;C:\jdk1.5.0\lib\tools.jar;C:\jdk1.5.0\lib\tools.jar
user.name = mgricken
java.vm.specification.version = 1.0
java.home = C:\jdk1.5.0\jre
sun.arch.data.model = 32
user.language = en
java.specification.vendor = Sun Microsystems Inc.
awt.toolkit = sun.awt.windows.WToolkit
java.vm.info = mixed mode, sharing
java.version = 1.5.0_05
java.ext.dirs = C:\jdk1.5.0\jre\lib\ext
sun.boot.class.path =
C:\jdk1.5.0\jre\lib\rt.jar;C:\jdk1.5.0\jre\lib\i18n.jar;C:\jdk1.5.0\jre\lib\sunrsasign.jar;C:\jdk1.5.0\jre\lib\jsse.jar;C:\jdk1.5.0\jre\lib\jce.jar;C:\jdk1.5.0\jre\lib\charsets.jar;C:\jdk1.5.0\jre\classes
java.vendor = Sun Microsystems Inc.
file.separator = \
java.vendor.url.bug =
http://java.sun.com/cgi-bin/bugreport.cgi
sun.io.unicode.encoding = UnicodeLittle
sun.cpu.endian = little
java.rmi.server.hostname = 127.0.0.1
sun.desktop = windows
sun.awt.exception.handler =
edu.rice.cs.drjava.ui.DrJavaErrorHandler
sun.cpu.isalist = pentium_pro+mmx pentium_pro
pentium+mmx pentium i486 i386 i86


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1471523&group_id=44253