37.1.2

Platform filter

jvm

Search in API

alchemist

alchemist/it.unibo.alchemist.boundary.swingui.impl/ReactivityPanel/Status/USER_SELECTED

USER_SELECTED

The GUI update frequency is user defined. Use the slider.

(c) Danilo Pianini and contributors listed in the Alchemist build files Generated by dokka