1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 14:50:03 -04:00

[demo] Refactor and minor cleanup

This commit is contained in:
Emil Ernerfeldt
2021-02-07 14:46:53 +01:00
parent e82fb81f07
commit 6377a4231f
11 changed files with 147 additions and 116 deletions

View File

@@ -20,7 +20,7 @@ epi = { version = "0.8.0", path = "../epi" }
# feature "http":
image = { version = "0.23", default_features = false, features = ["jpeg", "png"], optional = true }
syntect = { version = "4", default_features = false, features = ["default-fancy"], optional = true }
syntect = { version = "4", default_features = false, features = ["default-fancy"], optional = true } # optional syntax highlighting
# feature "persistence":
serde = { version = "1", features = ["derive"], optional = true }