int CREF_TOTAL_ELEMENT_COUNT = 5000; // Don't show more than so many nodes - it's not worth toiling forever!
public MapViewer()
{
InitializeComponent();
_UIUpdateInProgress = false;
_settings = new Settings();
_settings.LoadAppSettings();
RefreshSettings();
cref = new Cref();
}
bool _crefOn = false; // Don't attempt any dependency analysis if Cref table is not available
public MapViewer()
{
InitializeComponent();
_UIUpdateInProgress = false;
_settings = new Settings();
_settings.LoadAppSettings();
RefreshSettings();
cref = new Cref();
_moduleFilter = new FilteredTimer(500);
_symFilter = new FilteredTimer(500);
_progTimer = new FilteredTimer(500);
}