Bugs item #781161, was opened at 2003-07-31 17:34
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=781161&group_id=44253
Category: Debugger
Group: Ugly
Status: Open
Resolution: None
Priority: 5
Submitted By: Peter Centgraf (centgraf)
Assigned to: Nobody/Anonymous (nobody)
Summary: Breakpoints Tree Misaligned
Initial Comment:
Sometimes the root node of the breakpoint tree (which
ordinarily displays a file name) will be drawn above the
top of the viewport in the Breakpoints tab of the
DebugPanel. All you can see is one pixel of the
expand/collapse knob protruding below the top edge of
the display. If you click on that one pixel, this error is
produced:
java.lang.NullPointerException
at edu.rice.cs.drjava.ui.DebugPanel.
_getSelectedBreakpoint(DebugPanel.java:684)
at edu.rice.cs.drjava.ui.DebugPanel.
_scrollToSourceIfBreakpoint(DebugPanel.java:700)
at edu.rice.cs.drjava.ui.DebugPanel.
access$1000(DebugPanel.java:72)
at edu.rice.cs.drjava.ui.
DebugPanel$BreakpointMouseAdapter.
mousePressed(DebugPanel.java:1051)
at java.awt.AWTEventMulticaster.
mousePressed(AWTEventMulticaster.java:222)
at java.awt.Component.
processMouseEvent(Component.java:5097)
at java.awt.Component.processEvent(Component.
java:4897)
at java.awt.Container.processEvent(Container.java:
1569)
at java.awt.Component.
dispatchEventImpl(Component.java:3615)
at java.awt.Container.dispatchEventImpl(Container.
java:1627)
at java.awt.Component.dispatchEvent(Component.
java:3477)
at java.awt.LightweightDispatcher.
retargetMouseEvent(Container.java:3483)
at java.awt.LightweightDispatcher.
processMouseEvent(Container.java:3195)
at java.awt.LightweightDispatcher.
dispatchEvent(Container.java:3128)
at java.awt.Container.dispatchEventImpl(Container.
java:1613)
at java.awt.Window.dispatchEventImpl(Window.
java:1606)
at java.awt.Component.dispatchEvent(Component.
java:3477)
at java.awt.EventQueue.dispatchEvent(EventQueue.
java:456)
at java.awt.EventDispatchThread.
pumpOneEventForHierarchy(EventDispatchThread.java:
201)
at java.awt.EventDispatchThread.
pumpEventsForHierarchy(EventDispatchThread.java:151)
at java.awt.EventDispatchThread.
pumpEvents(EventDispatchThread.java:145)
at java.awt.EventDispatchThread.
pumpEvents(EventDispatchThread.java:137)
at java.awt.EventDispatchThread.
run(EventDispatchThread.java:100)
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=781161&group_id=44253
|