Add support for new hidden pref "bold_marked"
authorRicardo Mones <ricardo@mones.org>
Mon, 19 Sep 2022 18:31:57 +0000 (20:31 +0200)
committerRicardo Mones <ricardo@mones.org>
Mon, 19 Sep 2022 18:31:57 +0000 (20:31 +0200)
commitf491a58277cb9ca6c92478dd1bc2586086ae0d3e
treeb541e9f35cd1544921f9e232a9589d28e605c4c3
parent897c166d2463decf5147351cb2d9452ea5f88e48
Add support for new hidden pref "bold_marked"
clawsker