method set value = state := value;
                     notebook#goto_page (if value then 1 else 0);
                     ()