// TODO: see if it's possible to reload from cache
public void Reload(ReloadOption option)
{
DebugHelper.DumpCallers();
DebugHelper.WriteLine("Reloading...");
Gdk.Threads.Enter();
webview.Reload();
Gdk.Threads.Leave();
}
public void Reload(ReloadOption option)
{
if (navigation == null)
{
return;
}
control.Reset();
if (option == ReloadOption.None)
{
navigation.reload((uint)LoadFlags.None);
}
else if (option == ReloadOption.Proxy)
{
navigation.reload((uint)LoadFlags.BypassLocalCache);
}
else if (option == ReloadOption.Full)
{
navigation.reload((uint)LoadFlags.BypassProxy);
}
}
// TODO: see if it's possible to reload from cache
public void Reload(ReloadOption option)
{
DebugHelper.DumpCallers ();
DebugHelper.WriteLine ("Reloading...");
Gdk.Threads.Enter ();
webview.Reload ();
Gdk.Threads.Leave ();
}
public void Reload (ReloadOption option)
{
if (navigation == null)
return;
control.Reset ();
if (option == ReloadOption.None)
navigation.reload ((uint)LoadFlags.None);
else if (option == ReloadOption.Proxy)
navigation.reload ((uint) LoadFlags.BypassLocalCache);
else if (option == ReloadOption.Full)
navigation.reload ((uint) LoadFlags.BypassProxy);
}
