1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 06:40:06 -04:00

Fix warning

This commit is contained in:
Emil Ernerfeldt
2023-01-26 14:46:23 +01:00
parent d2c7793370
commit 9ee77aab84

View File

@@ -361,7 +361,7 @@ pub use {
grid::Grid, grid::Grid,
id::{Id, IdMap}, id::{Id, IdMap},
input_state::{InputState, MultiTouchInfo, PointerState}, input_state::{InputState, MultiTouchInfo, PointerState},
layers::{AreaLayerId, LayerId, Order}, layers::{AreaLayerId, Order},
layout::*, layout::*,
memory::Memory, memory::Memory,
painter::Painter, painter::Painter,
@@ -374,6 +374,9 @@ pub use {
widgets::*, widgets::*,
}; };
#[allow(deprecated)]
pub use layers::LayerId;
// ---------------------------------------------------------------------------- // ----------------------------------------------------------------------------
/// Helper function that adds a label when compiling with debug assertions enabled. /// Helper function that adds a label when compiling with debug assertions enabled.