docs: function read_buffer(){
  	var to_eval = jQuery('#' + command_buffer.get_id()).val();
  	if( to_eval != '' ){
  	    log('// Evaluating buffer...');
  	    var evals = _evaluate(to_eval);
  	    log('// ' + evals[1]);
  	    _advance_log_to_bottom();
  	}
      }