Searched refs:number_nonempty (Results 1 – 1 of 1) sorted by relevance
47 number_nonempty, /* number non-empty lines */ enumerator70 { .name = "body", .type = number_nonempty },312 case number_nonempty: in filter()367 numbering_properties[section].type = number_nonempty; in parse_numbering()