Merge branch 'master' into 'master'

Add terminal_size_pixels() to expose terminal's pixel size

See merge request !163
6 jobs for master in 26 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #18012
build:linux

00:00:19

failed #18011
build:linux:stable

00:00:15

passed #18013
build:redox

00:00:26

 
  Test
skipped #18015
test:linux
skipped #18014
test:linux:stable
skipped #18016
test:redox
 
Name Stage Failure
failed
build:linux:stable Build
Removing target/

Skipping Git submodules setup
Checking cache for default...
No URL provided, cache will not be downloaded from shared cache server. Instead a local version of cache will be extracted.
Successfully extracted cache
$ cargo +stable build --verbose
error: toolchain 'stable-x86_64-unknown-linux-gnu' is not installed
ERROR: Job failed: exit code 1