products/sources/formale Sprachen/Isabelle/Tools/jEdit/src/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: raw_output_dockable.scala   Sprache: Scala

Original von: Isabelle©
/*  Title:      Tools/jEdit/src/raw_output_dockable.scala
    Author:     Makarius

Dockable window for raw process output (stdout).
*/

package isabelle.jedit


import isabelle._
import isabelle.jedit_base.Dockable

import scala.swing.{TextArea, ScrollPane}

import org.gjt.sp.jedit.View


class Raw_Output_Dockable(view: View, position: String) extends Dockable(view, position)
{
  private val text_area = new TextArea
  set_content(new ScrollPane(text_area))


  /* main */

  private val main =
    Session.Consumer[Prover.Output](getClass.getName) {
      case output: Prover.Output =>
        GUI_Thread.later {
          text_area.append(XML.content(output.message))
          if (!output.is_stdout && !output.is_stderr) text_area.append("\n")
        }
    }

  override def init() { PIDE.session.raw_output_messages += main }
  override def exit() { PIDE.session.raw_output_messages -= main }
}

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff