edu.rice.cs.drjava.ui
Class BrowserHistoryPanel.BrowserHistoryListUserObj

java.lang.Object
  edu.rice.cs.drjava.ui.RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>
      edu.rice.cs.drjava.ui.BrowserHistoryPanel.BrowserHistoryListUserObj

Enclosing class:

BrowserHistoryPanel

protected class BrowserHistoryPanel.BrowserHistoryListUserObj
extends RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>

Class that gets put into the tree. The toString() method determines what's displayed in the three.

Field Summary

Fields inherited from class edu.rice.cs.drjava.ui.RegionsListPanel.RegionListUserObj

_region

Constructor Summary

BrowserHistoryPanel.BrowserHistoryListUserObj(BrowserDocumentRegion r)

Method Summary

String

toString()

Methods inherited from class edu.rice.cs.drjava.ui.RegionsListPanel.RegionListUserObj

lineNumber, region

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BrowserHistoryPanel.BrowserHistoryListUserObj

public BrowserHistoryPanel.BrowserHistoryListUserObj(BrowserDocumentRegion r)

Method Detail

toString

public String toString()

Overrides:

toString in class RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>