Searched refs:highlight_style_num (Results 1 – 1 of 1) sorted by relevance
38 var $highlight_style_num = 1; variable in renderer_plugin_odp1011 $style_name = "highlight." . $this->highlight_style_num;1012 $this->highlight_style_num += 1;