/// <summary>
/// Construct the plugin's form. Attach the plugin to the application.
/// </summary>
/// <param name="aApplication">an interface to the application that will receive this plugin</param>
public MainForm(IPluginReceiver aApplication)
{
InitializeComponent();
mApplication = aApplication;
bool lDepictionAvailable = ExistsInPath(dot);
bool lProver9Available = ExistsInPath(prover9) && ExistsInPath(mace4);
mApplication.Install(
DecideActiveBuffer,
DecideSelectedText,
lDepictionAvailable ? DepictActiveBuffer : (Action)null,
lDepictionAvailable ? DepictSelectedText : (Action)null,
lProver9Available ? ExecuteProver9OnActiveBuffer : (Action)null);
}
public static bool WndProc(ref Message msg)
{
bool res = false;
// some ISetupForm plugins like tvplugin need the wndproc method to determine when system has been resumed.
foreach (ISetupForm plugin in _setupForms)
{
if (plugin is IPluginReceiver)
{
IPluginReceiver pluginRev = plugin as IPluginReceiver;
res = pluginRev.WndProc(ref msg);
if (res)
{
break;
}
}
}
return(res);
}
