Showing output automatically upon completion and animated icon#578

Merged

erwindon merged 4 commits intomasterfrom

auto-update-jobinfo

Jun 15, 2024

Commits on May 30, 2024

allow multiple types of smaller menu-buttons

Erwin Dondorp
authored and
erwindon
committed
make the in-output-menu-button smaller (for les jumpy behavior on refresh)

Erwin Dondorp
authored and
erwindon
committed
auto refresh for job (always)

Erwin Dondorp
authored and
erwindon
committed
added play/pause button

Erwin Dondorp
authored and
erwindon
committed