|
/* 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))
}
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
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.
|
