mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-09 10:05:24 +02:00
Code Issues Wiki Activity

fix for Bug 161841

Browse source
This commit is contained in:
David McKnight 2006-10-23 14:10:56 +00:00
parent 7cc1112d10
commit 962e32e92c
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
rse/plugins/org.eclipse.rse.ui/UI/org/eclipse/rse/ui/view/monitor/MonitorViewPage.java
View file

@ -309,13 +309,17 @@ FocusListener
public boolean isPollingEnabled() public boolean isPollingEnabled()
{ {
if (_isPolling) if (_isPolling && !getViewer().getControl().isDisposed())
{ {
return true; return true;
} }
return false; return false;
} }
public void setPollingEnabled(boolean flag)
{
_isPolling = flag;
}
public void setEnabled(boolean flag) public void setEnabled(boolean flag)
{ {
@ -474,6 +478,7 @@ FocusListener
{ {
_viewer.dispose(); _viewer.dispose();
_tabFolderPage.dispose(); _tabFolderPage.dispose();
_isPolling = false;
} }