Searched defs:flag (Results 1 – 2 of 2) sorted by relevance
86 public function addFlag(int $flag): void97 public function hasFlag(int $flag): bool108 public function hasNotFlag(int $flag): bool119 public function removeFlag(int $flag): void
879 public function enable_classes($flag = true) {952 public function enable_line_numbers($flag, $nth_row = 5) {970 public function enable_multiline_span($flag) {1026 public function set_keyword_group_highlighting($key, $flag = true) {1066 public function set_comments_highlighting($key, $flag = true) {1095 public function set_escape_characters_highlighting($flag = true) {1131 public function set_brackets_highlighting($flag) {1166 public function set_symbols_highlighting($flag) {1199 public function set_strings_highlighting($flag) {1248 public function set_numbers_highlighting($flag) {[all …]