AnimationProperties

open class AnimationProperties(borderColor: String?, textColor: String?, pointer: Boolean?, highlight: String?, animationStyle: String?, animationTime: Double?, render: Boolean?) : StylesheetProperty

Animation properties for when a data structure is being animated (for example, during push/pop operations on a stack)

Constructors

AnimationProperties

fun AnimationProperties(borderColor: String? = null, textColor: String? = null, pointer: Boolean? = null, highlight: String? = "YELLOW", animationStyle: String? = null, animationTime: Double? = null, render: Boolean? = true)

Create empty Animation properties

equals

open operator fun equals(other: Any?): Boolean

handleColourValue

Handles color value to be passed to Python

hashCode

open fun hashCode(): Int

toString

animationStyle

animationTime

borderColor

open override val borderColor: String? = null

highlight

pointer

open val pointer: Boolean? = null

render

open val render: Boolean? = true

textColor

open override val textColor: String? = null

DefaultAnimationProperties