Emil Ernerfeldt
|
520e42c11c
|
[backend] use hardware scissor rect in WebGL and glium
|
2020-07-17 10:29:21 +02:00 |
|
Emil Ernerfeldt
|
8b1f02f22c
|
[egui] handle dynamic changes to pixels_per_point (dpi scaling)
Also: egui::Context::new() no longer takes any arguments
|
2020-05-30 14:56:38 +02:00 |
|
Emil Ernerfeldt
|
b80baf4039
|
[egui] make serde an optional dependency
|
2020-05-30 11:04:40 +02:00 |
|
Emil Ernerfeldt
|
fd5ab736bb
|
Rename from "Emigui" to "Egui"
Shorter to type (especially in code).
|
2020-05-30 10:22:35 +02:00 |
|