migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-08-30 21:30:03 -04:00
Code Activity

Add Frame::outer_margin, and rename Frame::margin to Frame::inner_margin

Browse Source
This commit is contained in:
Emil Ernerfeldt
2022-03-21 21:44:36 +01:00
parent fda8189cba
commit 339b28b470
7 changed files with 78 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
egui_demo_lib/src/syntax_highlighting.rs
View File

@@ -277,7 +277,7 @@ impl CodeTheme {
ui.data().insert_persisted(selected_id, selected_tt);
egui::Frame::group(ui.style())
.margin(egui::Vec2::splat(2.0))
.inner_margin(egui::Vec2::splat(2.0))
.show(ui, |ui| {
// ui.group(|ui| {
ui.style_mut().override_text_style = Some(egui::TextStyle::Small);