egui/scripts
Emil Ernerfeldt 834e2e9f50
Fix: `request_repaint_after` works even when called from background thread (#2939)
* Refactor repaint logic

* request_repaint_after also fires the request_repaint callback

* Bug fixes

* Add test to egui_demo_app

* build_demo_web: build debug unless --release is specified

* Fix the web backend too

* Run special clippy for wasm, forbidding some types/methods

* Remove wasm_bindgen_check.sh

* Fix typos

* Revert "Remove wasm_bindgen_check.sh"

This reverts commit 92dde253446a6930f34f2fcf67f76bc11669ec3b.

* Only run cranky/clippy once
2023-04-20 10:56:52 +02:00
..
clippy_wasm Fix: `request_repaint_after` works even when called from background thread (#2939) 2023-04-20 10:56:52 +02:00
build_demo_web.sh Fix: `request_repaint_after` works even when called from background thread (#2939) 2023-04-20 10:56:52 +02:00
cargo_deny.sh Remove dark-light dependency (#2929) 2023-04-18 21:52:48 +02:00
check.sh Rename `sh/` folder to `scripts/` 2023-04-18 17:10:52 +02:00
clippy_wasm.sh Fix: `request_repaint_after` works even when called from background thread (#2939) 2023-04-20 10:56:52 +02:00
docs.sh Rename `sh/` folder to `scripts/` 2023-04-18 17:10:52 +02:00
find_bloat.sh Rename `sh/` folder to `scripts/` 2023-04-18 17:10:52 +02:00
generate_changelog.py Add script to generate changelogs (#2920) 2023-04-18 18:58:12 +02:00
generate_example_screenshots.sh Rename `sh/` folder to `scripts/` 2023-04-18 17:10:52 +02:00
setup_web.sh Rename `sh/` folder to `scripts/` 2023-04-18 17:10:52 +02:00
start_server.sh Rename `sh/` folder to `scripts/` 2023-04-18 17:10:52 +02:00
wasm_bindgen_check.sh Rename `sh/` folder to `scripts/` 2023-04-18 17:10:52 +02:00
wasm_size.sh Rename `sh/` folder to `scripts/` 2023-04-18 17:10:52 +02:00