Skip to content

Add a button to restore default values in logging interval' and 'logging distance' preferences#659

Merged
jamescr merged 1 commit intolabexp:developfrom
jamescr:reset-preferences
Jan 2, 2026
Merged

Add a button to restore default values in logging interval' and 'logging distance' preferences#659
jamescr merged 1 commit intolabexp:developfrom
jamescr:reset-preferences