1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00

[refactor] rename 'example' to 'demo', and add simple example_glium

This commit is contained in:
Emil Ernerfeldt
2020-07-23 12:01:48 +02:00
parent bf19eb2ec5
commit 61cdec8fca
20 changed files with 235 additions and 148 deletions

View File

@@ -1,12 +1,19 @@
[workspace]
members = [
"egui",
"demo_glium",
"egui_glium",
"egui_web",
"egui",
"example_glium",
"example_wasm",
"demo_web",
]
[patch.crates-io]
egui = { path = 'egui' }
egui_glium = { path = 'egui_glium' }
egui_web = { path = 'egui_web' }
[profile.release]
# lto = true # VERY slightly smaller wasm
# opt-level = 's' # 10-20% smaller wasm compared to `opt-level = 3`