[dev-servo] Proposal to Improve (International) Keyboard Input

To limit the scope of this proposal I do not intend to support composition events or IMEs. What is your opinion on this and what can be improved from this proposal? Cheers, Pyfisch [1]: https://www.w3.org/TR/uievents/#events-keyboardevents [2]: https://github.com/servo/servo/pull/17311 ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo

Re: [dev-servo] Proposal to Improve (International) Keyboard Input

ng all input related events in servo. Cheers, Pyfisch ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo

Re: [dev-servo] PSA: Servo now uses rustup.rs, you can probably free up some disk space

> Similarly, in the default config we used to override $CARGO_HOME (which > contains a cache of crates.io and git dependencies) to .cargo under the > repo. You also remove that, now we leave the environment’s $CARGO_HOME > (which defaults to ~/.cargo). This cache is now shared with other clones

Re: [dev-servo] PSA: Servo now uses rustup.rs, you can probably free up some disk space

Thanks. The .cargo folder contained .cargo/git and .cargo/registry but also the file. .cargo/config. So in the future it will only ever contain this one file? ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-s

[dev-servo] Rustfmt now checked on CI

have. Regards Pyfisch [1]: https://github.com/servo/servo/pull/22126 ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo