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