[PATCH 8/9] lib/database: index user headers.

2019-04-28 Thread David Bremner
There is a O(log(#user headers)) penalty for the second lookup of the prefix name. --- lib/database.cc | 6 ++ lib/index.cc | 27 +++ lib/notmuch-private.h| 5 + test/T750-user-header.sh | 17 + 4 files changed, 55

[PATCH 8/9] lib/database: index user headers.

2019-03-27 Thread David Bremner
There is a O(log(#user headers)) penalty for the second lookup of the prefix name. --- lib/database.cc | 6 ++ lib/index.cc | 28 lib/notmuch-private.h| 5 + test/T730-user-header.sh | 17 + 4 files changed, 56