migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-09-01 14:20:04 -04:00
Code Activity

Small code cleanup

Browse Source
This commit is contained in:
Emil Ernerfeldt
2021-10-23 05:58:57 +02:00
parent a3ba85dbb3
commit 39c6c7e5c9
6 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
egui_demo_lib/src/syntax_highlighting.rs
View File

@@ -270,7 +270,6 @@ impl CodeTheme {
});
ui.add_space(16.0);
// ui.separator(); // TODO: fix forever-expand
ui.memory().data.insert(selected_tt);