migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-06-27 23:13:13 -04:00
Code Activity

Merge branch 'widget_style' into style_modifier

Browse Source
This commit is contained in:
adrien
2025-11-21 10:24:40 +01:00
parent 6710da2440 dbd718104e
commit c3d7941fb8
6 changed files with 304 additions and 57 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
scripts/check.sh
View File

@@ -33,21 +33,25 @@ cargo check --quiet -p egui_demo_app --lib --target wasm32-unknown-unknown --al
cargo test --quiet --all-targets --all-features
cargo test --quiet --doc # slow - checks all doc-tests
cargo check --quiet -p eframe --no-default-features --features "glow"
if [[ "$OSTYPE" == "linux-gnu"* ]]; then
cargo check --quiet -p eframe --no-default-features --features "glow","x11"
cargo check --quiet -p eframe --no-default-features --features "glow","wayland"
cargo check --quiet -p eframe --no-default-features --features "wgpu","x11"
cargo check --quiet -p eframe --no-default-features --features "wgpu","wayland"
else
cargo check --quiet -p eframe --no-default-features --features "glow"
cargo check --quiet -p eframe --no-default-features --features "wgpu"
fi
cargo check --quiet -p egui --no-default-features --features "serde"
cargo check --quiet -p egui_demo_app --no-default-features --features "glow"
if [[ "$OSTYPE" == "linux-gnu"* ]]; then
cargo check --quiet -p egui_demo_app --no-default-features --features "glow","x11"
cargo check --quiet -p egui_demo_app --no-default-features --features "glow","wayland"
cargo check --quiet -p egui_demo_app --no-default-features --features "wgpu","x11"
cargo check --quiet -p egui_demo_app --no-default-features --features "wgpu","wayland"
else
cargo check --quiet -p egui_demo_app --no-default-features --features "glow"
cargo check --quiet -p egui_demo_app --no-default-features --features "wgpu"
fi