Home
last modified time | relevance | path

Searched refs:LabelHandler (Results 1 – 3 of 3) sorted by last modified time

/plugin/latexit/classes/
H A DLabelHandler.php13 class LabelHandler { class
17 * @var LabelHandler
33 * @return LabelHandler
36 if(!isset(LabelHandler::$instance)) {
37 LabelHandler::$instance = new LabelHandler();
39 return LabelHandler::$instance;
/plugin/latexit/
H A Drenderer.php140 * @var LabelHandler
235 $this->label_handler = LabelHandler::getInstance();
/plugin/latexit/_test/
H A Dlabelhandler.test.php23 * @var LabelHandler
32 $this->l = LabelHandler::getInstance();