RefreshPolicy

o1.gui.View.RefreshPolicy
See theRefreshPolicy companion trait
object RefreshPolicy

This companion object provides predefines instances of class RefreshPolicy.

Note to students: You’re unlikely to need this for anything in O1.

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

case object Always extends RefreshPolicy

The RefreshPolicy of seeking to update the image visible in a View as often as possible. (Time-consuming but always safe.)

The RefreshPolicy of seeking to update the image visible in a View as often as possible. (Time-consuming but always safe.)

Note to students: You’re unlikely to need this for anything in O1.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Always.type
case object UnlessIdentical extends RefreshPolicy

The RefreshPolicy of seeking to update the image visible in a View only when the current model object is non-identical in terms of equals than the previous one shown.

The RefreshPolicy of seeking to update the image visible in a View only when the current model object is non-identical in terms of equals than the previous one shown.

Note to students: You’re unlikely to need this for anything in O1.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
case object UnlessSameReference extends RefreshPolicy

The RefreshPolicy of seeking to update the image visible in a View only when the current model object is different in identity than the previous one shown.

The RefreshPolicy of seeking to update the image visible in a View only when the current model object is different in identity than the previous one shown.

Note to students: You’re unlikely to need this for anything in O1.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type