Merge branch 'master' of gitlab.psi.ch-samenv:samenv/sea

This commit is contained in:
2022-11-07 14:09:44 +01:00
548 changed files with 40711 additions and 569 deletions

View File

@ -46,6 +46,8 @@ proc stdConfig::dil12 args {
prop label "control sensor "
prop help "click off to reload list"
prop enum "off"
# for seadesc:
prop enum_ off=0,mix=5,sample=6,samplehtr=8
default off
prop check dil12::check_control
prop write stdSct::completeUpdate