Browse Source
git-svn-id: svn://svn.sharpdevelop.net/sharpdevelop/branches/2.0@1400 1ccf3a8d-04fe-1044-b7c0-cef0b8235c61shortcuts
4 changed files with 47 additions and 12 deletions
@ -0,0 +1,37 @@ |
|||||||
|
// <file>
|
||||||
|
// <copyright see="prj:///doc/copyright.txt"/>
|
||||||
|
// <license see="prj:///doc/license.txt"/>
|
||||||
|
// <owner name="David Srbecký" email="dsrbecky@gmail.com"/>
|
||||||
|
// <version>$Revision: 1254 $</version>
|
||||||
|
// </file>
|
||||||
|
|
||||||
|
using System; |
||||||
|
using System.Windows.Forms; |
||||||
|
|
||||||
|
namespace ICSharpCode.SharpDevelop.Gui.Pads |
||||||
|
{ |
||||||
|
public class DebuggerTreeListView: TreeListView |
||||||
|
{ |
||||||
|
static int updateInterval = 100; // ms
|
||||||
|
|
||||||
|
Timer refreshingTimer; |
||||||
|
|
||||||
|
public DebuggerTreeListView() |
||||||
|
{ |
||||||
|
refreshingTimer = new Timer(); |
||||||
|
refreshingTimer.Interval = updateInterval; |
||||||
|
refreshingTimer.Tick += delegate { |
||||||
|
refreshingTimer.Enabled = false; |
||||||
|
this.EndUpdate(); |
||||||
|
}; |
||||||
|
} |
||||||
|
|
||||||
|
public void DelayRefresh() |
||||||
|
{ |
||||||
|
if (!refreshingTimer.Enabled) { |
||||||
|
this.BeginUpdate(); |
||||||
|
refreshingTimer.Enabled = true; |
||||||
|
} |
||||||
|
} |
||||||
|
} |
||||||
|
} |
||||||
Loading…
Reference in new issue