Quelle desktop_app.scala Sprache: Scala

/*  Title:      Pure/GUI/desktop_app.scala
    Author:     Makarius

Support for desktop applications, notably on macOS.
*/

package isabelle

import java.awt.Desktop

object Desktop_App {
  def desktop_action(action: Desktop.Action, f: Desktop => Unit): Unit =
    if (Desktop.isDesktopSupported) {
      val desktop = Desktop.getDesktop
      if (desktop.isSupported(action)) f(desktop)
    }

  def about_handler(handler: => Unit): Unit =
    desktop_action(Desktop.Action.APP_ABOUT, _.setAboutHandler(_ => handler))
}

quality100%

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.