1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-29 04:40:03 -04:00

Persist Area positions again (#4749)

* Reverts https://github.com/emilk/egui/pull/4577

We again persist area positions, but not sizes.
This commit is contained in:
Emil Ernerfeldt
2024-07-01 17:33:03 +02:00
committed by GitHub
parent 0fc79aea14
commit af404fec63
6 changed files with 102 additions and 64 deletions

View File

@@ -38,6 +38,8 @@ impl log::Log for WebLogger {
}
fn log(&self, record: &log::Record<'_>) {
#![allow(clippy::match_same_arms)]
if !self.enabled(record.metadata()) {
return;
}