PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.utils/SimulationDefaults/UI/Dimensions

Dimensions

io.github.srs.utils.SimulationDefaults.UI.Dimensions
object Dimensions

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Dimensions.type

Members list

Value members

Concrete fields

val ButtonHeight: Int
val ButtonWidth: Int
val InfoAreaColumns: Int
val InfoAreaRows: Int
val RobotListHeight: Int
val RobotListWidth: Int
Generated with