Record font mapping time

This commit is contained in:
Jeremy Soller 2022-10-25 14:52:43 -06:00
parent 66885686a0
commit 1a5b01575d
No known key found for this signature in database
GPG key ID: 87F211AF2BE4C2FE

View file

@ -17,17 +17,24 @@ impl FontSystem {
log::info!("Locale: {}", locale); log::info!("Locale: {}", locale);
let mut db = fontdb::Database::new(); let mut db = fontdb::Database::new();
{
let now = std::time::Instant::now(); let now = std::time::Instant::now();
db.load_system_fonts(); db.load_system_fonts();
//TODO: configurable default fonts //TODO: configurable default fonts
db.set_monospace_family("Fira Mono"); db.set_monospace_family("Fira Mono");
db.set_sans_serif_family("Fira Sans"); db.set_sans_serif_family("Fira Sans");
db.set_serif_family("DejaVu Serif"); db.set_serif_family("DejaVu Serif");
log::info!( log::info!(
"Loaded {} font faces in {}ms.", "Parsed {} font faces in {}ms.",
db.len(), db.len(),
now.elapsed().as_millis() now.elapsed().as_millis()
); );
}
{
let now = std::time::Instant::now();
//TODO only do this on demand! //TODO only do this on demand!
assert_eq!(db.len(), db.faces().len()); assert_eq!(db.len(), db.faces().len());
@ -36,6 +43,13 @@ impl FontSystem {
unsafe { db.make_shared_face_data(id); } unsafe { db.make_shared_face_data(id); }
} }
log::info!(
"Mapped {} font faces in {}ms.",
db.len(),
now.elapsed().as_millis()
);
}
Self { locale, db } Self { locale, db }
} }