Emil Ernerfeldt ca96172552 You can override the default Egui fonts ...

Closes https://github.com/emilk/egui/issues/32

2020-10-31 18:03:13 +01:00

..

backend.rs

You can override the default Egui fonts

2020-10-31 18:03:13 +01:00

lib.rs

Add #![forbid(unsafe_code)] and safety badge

2020-10-18 15:40:23 +02:00

painter.rs

[app] Add demo app slider to change scale of all of Egui

2020-10-17 23:54:46 +02:00

storage.rs

[egui_glium] Add option not to persist app to file

2020-10-19 20:25:05 +02:00