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

Export egui::Margin

Browse Source
This commit is contained in:
Emil Ernerfeldt
2023-02-03 09:31:04 +01:00
parent 5444ab269a
commit 312cab5355
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
crates/egui/src/lib.rs
View File

@@ -367,7 +367,7 @@ pub use {
painter::Painter, painter::Painter,
response::{InnerResponse, Response}, response::{InnerResponse, Response},
sense::Sense, sense::Sense,
style::{FontSelection, Style, TextStyle, Visuals}, style::{FontSelection, Margin, Style, TextStyle, Visuals},
text::{Galley, TextFormat}, text::{Galley, TextFormat},
ui::Ui, ui::Ui,
widget_text::{RichText, WidgetText}, widget_text::{RichText, WidgetText},