rem: this.startup_checkbox = createDOM( "input", { "type": "checkbox" } ); this.startup_toggle = createDOM( "span", { "class": "pulldown_toggle" }, this.startup_checkbox, 
add: this.startup_checkbox = createDOM( "input", { "type": "checkbox", "class": "pulldown_checkbox" } ); this.startup_toggle = createDOM( "a", { "href": "", "class": "pulldown_link" }, 
context: Options_pulldown = function ( notebook_id, invoker, editor ) {  Pulldown.call( this, notebook_id, "options_" + editor.id, editor.options_button );  this.invoker = invoker;  this.editor = editor;  this.startup_checkbox = createDOM( "input", { "type": "checkbox" } );  this.startup_toggle = createDOM( "span", { "class": "pulldown_toggle" },    this.startup_checkbox,    "show on startup"  );  appendChildNodes( this.div, this.startup_toggle );  this.startup_checkbox.checked = editor.startup;  var self = this;  connect( this.startup_toggle, "onclick", function ( event ) { self.startup_clicked( event ); event.stop(); } );}
meta: 4711	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4711/f05d3db661a366bcf7ea7a0c52281e5942127d67/Wiki.js/buggy/static/js/Wiki.js