Improve some feature flags

sh/build_demo_web.sh

@@ -42,13 +42,14 @@ rm -f docs/${CRATE_NAME}_bg.wasm
 echo "Building rust…"
 BUILD=release
 
-cargo build \
-  -p ${CRATE_NAME} \
-  --release \
-  --lib \
-  --target wasm32-unknown-unknown \
-  --no-default-features \
-  --features ${FEATURES}
+(cd $CRATE_NAME &&
+  cargo build \
+    --release \
+    --lib \
+    --target wasm32-unknown-unknown \
+    --no-default-features \
+    --features ${FEATURES}
+)
 
 # Get the output directory (in the workspace it is in another location)
 TARGET=`cargo metadata --format-version=1 | jq --raw-output .target_directory`

sh/check.sh

@@ -33,6 +33,18 @@ cargo doc --document-private-items --no-deps --all-features
 (cd egui_glium && cargo check --no-default-features)
 (cd egui_glow && cargo check --no-default-features)
 
+
+(cd eframe && cargo check --all-features)
+(cd egui && cargo check --all-features)
+(cd egui_glium && cargo check --all-features)
+(cd egui_glow && cargo check --all-features)
+(cd egui_web && cargo check --all-features)
+# (cd egui-winit && cargo check --all-features) can't do, beacause of https://github.com/rust-lang/cargo/issues/8832
+(cd emath && cargo check --all-features)
+(cd epaint && cargo check --all-features)
+(cd epi && cargo check --all-features)
+
+
 # ------------------------------------------------------------
 #