Ejemplos de Z3AxiomProfiler HelpWindow en C# (CSharp)

Ejemplo n.º 1

Archivo: Z3AxiomProfiler.cs Proyecto: Suchiman/vcc

        private void helpToolStripMenuItem1_Click(object sender, EventArgs e)
        {
            HelpWindow h = new HelpWindow();

            h.Show();
        }

Ejemplo n.º 2

Archivo: Z3AxiomProfiler.cs Proyecto: edgar-pek/VCDryad

 private void helpToolStripMenuItem1_Click(object sender, EventArgs e)
 {
     HelpWindow h = new HelpWindow();
       h.Show();
 }