+ // 'visible' may be set or not; if set to NULL it's considered as undefined
+ // so using NULL as the default means 'select from local storage i.e. last status'
+ if (array_key_exists ('visible',$options) && $options['visible']==NULL)
+ unset ($options['visible']);
+ // start-hidden is internal and is always set