Searched refs:label_handler (Results 1 – 1 of 1) sorted by relevance
142 protected $label_handler; variable in renderer_plugin_latexit235 $this->label_handler = LabelHandler::getInstance();456 $label = $this->label_handler->newLabel($this->_createLabel($text));