PrimaryWorkspace

Attributes

Source

PrimaryWorkspace.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class HeadlessWorkspace

class DummyPrimaryWorkspace

class GUIWorkspace

class LiteWorkspace