1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 06:40:06 -04:00

egui_web: Implement copy, cut and paste

This commit is contained in:
Emil Ernerfeldt
2020-11-15 20:55:41 +01:00
parent c57fba41ab
commit 7651e2f15b
9 changed files with 262 additions and 106 deletions

View File

@@ -1,6 +1,8 @@
#!/bin/bash
set -eu
export RUSTFLAGS=--cfg=web_sys_unstable_apis # required for the clipboard API
cargo check --workspace --all-targets --all-features --release
cargo fmt --all -- --check
CARGO_INCREMENTAL=0 cargo clippy --workspace --all-targets --all-features -- -D warnings -W clippy::all #-W clippy::pedantic -W clippy::restriction -W clippy::nursery