public final class ProblemView extends org.eclipse.ui.part.ViewPart implements IProblemSelectionListener, org.eclipse.swt.browser.LocationListener
Problem
instance body content.Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
ACTION_URL
Link used for triggering
ProblemSelectionHandler . |
private org.eclipse.swt.browser.Browser |
browser
Optional reference to the internal browser displayed.
|
private static java.lang.String |
CONTEST_NOT_SELECTED_CONTENT
HTML content displayed when problem is not selected.
|
static java.lang.String |
ID
View ID.
|
static java.lang.String |
MENU_CONTRIBUTION
Menu contribution identifier.
|
Constructor and Description |
---|
ProblemView() |
Modifier and Type | Method and Description |
---|---|
void |
changed(org.eclipse.swt.browser.LocationEvent event) |
void |
changing(org.eclipse.swt.browser.LocationEvent event) |
void |
createPartControl(org.eclipse.swt.widgets.Composite parent) |
void |
dispose() |
void |
problemSelected(Problem problem)
Notifies that the current contextual
Problem
instance has changed. |
void |
setFocus() |
checkSite, getViewSite, init, init, saveState, setContentDescription, setInitializationData, setPartName
addPartPropertyListener, addPropertyListener, firePartPropertyChanged, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy
addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private static final java.lang.String ACTION_URL
ProblemSelectionHandler
.private static final java.lang.String CONTEST_NOT_SELECTED_CONTENT
public static final java.lang.String ID
public static final java.lang.String MENU_CONTRIBUTION
private org.eclipse.swt.browser.Browser browser
createPartControl(Composite)
method.public void createPartControl(org.eclipse.swt.widgets.Composite parent)
createPartControl
in interface org.eclipse.ui.IWorkbenchPart
createPartControl
in class org.eclipse.ui.part.WorkbenchPart
public void dispose()
dispose
in interface org.eclipse.ui.IWorkbenchPart
dispose
in class org.eclipse.ui.part.WorkbenchPart
public void setFocus()
setFocus
in interface org.eclipse.ui.IWorkbenchPart
setFocus
in class org.eclipse.ui.part.WorkbenchPart
public void problemSelected(Problem problem)
Problem
instance has changed.problemSelected
in interface IProblemSelectionListener
problem
- Newly selected problem instance.public void changing(org.eclipse.swt.browser.LocationEvent event)
changing
in interface org.eclipse.swt.browser.LocationListener
public void changed(org.eclipse.swt.browser.LocationEvent event)
changed
in interface org.eclipse.swt.browser.LocationListener