OpenStrat
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
OpenStrat/ostrat.pgui/GuiLaunchStd

GuiLaunchStd

ostrat.pgui.GuiLaunchStd
trait GuiLaunchStd extends GuiLaunch

A convenience trait for launching Apps that takes an Int and an Identifier as its settings.

Attributes

Graph
Supertypes
trait GuiLaunch
class Object
trait Matchable
class Any
Known subtypes
object CivLaunch.type
object ZugLaunch.type

Members list

Concise view

Value members

Abstract methods

def launch(s2: Int, s3: String): (CanvasPlatform => Any, String)

Concrete methods

override def apply(expr: AssignMemExpr): (CanvasPlatform => Any, String)

Attributes

Definition Classes

Inherited methods

def default: (CanvasPlatform => Any, String)

Attributes

Inherited from:
GuiLaunch
def settingStr: String

Attributes

Inherited from:
GuiLaunch
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL