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

Add Margin to epaint (#4231)

Moved from `egui`
This commit is contained in:
Emil Ernerfeldt
2024-03-26 09:05:29 +01:00
committed by GitHub
parent cf8c37c71e
commit 1634554032
5 changed files with 220 additions and 216 deletions

View File

@@ -27,6 +27,7 @@
mod bezier;
pub mod image;
mod margin;
mod mesh;
pub mod mutex;
mod shadow;
@@ -41,9 +42,10 @@ mod texture_handle;
pub mod textures;
pub mod util;
pub use {
pub use self::{
bezier::{CubicBezierShape, QuadraticBezierShape},
image::{ColorImage, FontImage, ImageData, ImageDelta},
margin::Margin,
mesh::{Mesh, Mesh16, Vertex},
shadow::Shadow,
shape::{