Emil Ernerfeldt
|
b06c9e94fb
|
[egui] rename "with_serde" feature flag to just "serde"
|
2020-08-09 17:34:26 +02:00 |
|
Emil Ernerfeldt
|
b58142ba15
|
Update versions to 0.1.3
|
2020-08-09 17:30:12 +02:00 |
|
Emil Ernerfeldt
|
3facd5c587
|
[doc] improve docstrings in Egui
|
2020-08-09 17:24:32 +02:00 |
|
Emil Ernerfeldt
|
df2cba41ff
|
[clippy] fix all clippy issues
|
2020-07-30 12:30:20 +02:00 |
|
Emil Ernerfeldt
|
eb713ac514
|
[build] use path dependencies in all Cargo.toml
|
2020-07-30 12:14:51 +02:00 |
|
Emil Ernerfeldt
|
f693a558c5
|
[web/glium] better text input filtering
CapsLock and function keys (F1, F2, ...) are now ignored on web.
All special keys are ignored on glium.
|
2020-07-30 11:58:24 +02:00 |
|
Emil Ernerfeldt
|
554e6e7120
|
[app] unify web and glium demo app
|
2020-07-23 19:04:23 +02:00 |
|
Emil Ernerfeldt
|
e84412dec5
|
[glium] break out persistence
|
2020-07-22 18:01:27 +02:00 |
|
Emil Ernerfeldt
|
9b9cd01c5c
|
[glium] update to latest glium with EventLoop and vsync
|
2020-07-22 00:36:17 +02:00 |
|
Emil Ernerfeldt
|
6b6545958d
|
[web] fix: repaint on pagehide, pageshow and resize
|
2020-07-20 15:08:39 +02:00 |
|
Emil Ernerfeldt
|
57ae03f52d
|
[web] minor fixes for reactive mode
|
2020-07-19 00:44:06 +02:00 |
|
Emil Ernerfeldt
|
f659f2903d
|
[web] fix auto-save
|
2020-07-19 00:16:24 +02:00 |
|
Emil Ernerfeldt
|
fccd135254
|
[refactor] rename 'PaintBatches' to 'PaintJobs'
|
2020-07-19 00:01:13 +02:00 |
|
Emil Ernerfeldt
|
7565210b2d
|
[web] simplify and improve reactive mode on touch screens
|
2020-07-18 23:56:37 +02:00 |
|
Emil Ernerfeldt
|
3ecd6c0297
|
[web] implement reactive repainting
meaning: only repaint on new input
|
2020-07-18 19:54:42 +02:00 |
|
Emil Ernerfeldt
|
dfa4d52a94
|
[web] move all reusable web code into egui_web
|
2020-07-18 18:35:17 +02:00 |
|
Emil Ernerfeldt
|
1a4c399e41
|
[web] port all remaining JS code to Rust
|
2020-07-18 18:00:05 +02:00 |
|
Emil Ernerfeldt
|
0afad57d41
|
[web] port JS code to Rust
|
2020-07-18 13:30:23 +02:00 |
|
Emil Ernerfeldt
|
8dced5896c
|
rename egui_wasm to egui_web
|
2020-07-17 12:55:07 +02:00 |
|