pre now does case insensitive matching if case_sensitive=off is set

This commit is contained in:
Krasimir Angelov
2023-02-23 10:21:50 +01:00
parent 35e47b9fac
commit f40072a5f4
4 changed files with 34 additions and 2 deletions

View File

@@ -819,7 +819,7 @@ void pgf_iter_lins(PgfDB *db, PgfConcrRevision cnc_revision,
} PGF_API_END
}
static bool
PGF_INTERNAL bool
pgf_is_case_sensitive(ref<PgfConcr> concr)
{
PgfText *case_sensitive = (PgfText *)