docs: function _draw_user_buttons(button_definitions, loc_id){
  	function _button_rollout(button_def_hash){
  	    var default_hash = {
  		label : '?',
  		disabled_p : false,
  		click_function_generator :
  		function(anchor, manager){
  		    return function(anchor, manager){
  			alert('No callback defined for this button--' +
  			      'the generator may have been empty!');
  		    };
  		}
      	    };
  	    var folding_hash = button_def_hash || {};
  	    var arg_hash = bbop.core.fold(default_hash, folding_hash);
  	    
  	    var label = arg_hash['label'];
  	    var disabled_p = arg_hash['disabled_p'];
  	    var click_function_generator = arg_hash['click_function_generator'];
  	    
  	    /// Add button to DOM.
  	    var b_props = {
  		'generate_id': true,
  		'class': 'btn btn-primary'
  	    };
  	    var b = new bbop.html.button(label, b_props);
  	    jQuery('#' + loc_id).append(b.to_string());
  	    _disable_if(b, disabled_p);
  	    
  	    // Bind function to action.
  	    var click_fun = click_function_generator(anchor, manager);
  	    jQuery('#' + b.get_id()).click(click_fun);
  	}
  	
  	// Check that we're not about to do the impossible.
  	if( ! jQuery('#' + loc_id) ){
  	    alert('cannot refresh buttons without a place to draw them');
  	}else{
  	    jQuery('#' + loc_id).empty();
  	    bbop.core.each(button_definitions, _button_rollout);
  	}
      }