private void EvaluateClicks(object source, System.Timers.ElapsedEventArgs e)
{
ClickTimer.Stop();
if (ClickCounter == 2)
{
CrossThreadStuff.Intellisense();
}
ClickCounter = 0;
}
private void webBrowser_Navigating(object sender, NavigatingCancelEventArgs e)
{
if (e.Uri != null && (e.Uri.AbsoluteUri.ToLower().EndsWith("." + Globals.extensionTable) || e.Uri.AbsoluteUri.ToLower().EndsWith("." + "tab")))
{
//cancel Navigation
string file = e.Uri.AbsoluteUri;
if (file.ToLower().StartsWith("file:///"))
{
file = file.Substring(8);
file = file.Replace("/", "\\");
Gui.gui.StartThread("table " + file, true); //to get a worker thread started
CrossThreadStuff.SetTab("main", true);
e.Cancel = true;
}
else
{
MessageBox.Show("*** ERROR: Expected table file to be on local file system");
}
}
//Gui.gui.GuiBrowseArrowsStuff(null, ETabs.Tables); //has no effect, new page has not been loaded yet!
}
