File: devicePixelRatio.html

package info (click to toggle)
qtwebkit-opensource-src 5.7.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 291,692 kB
  • ctags: 268,122
  • sloc: cpp: 1,360,420; python: 70,286; ansic: 42,986; perl: 35,476; ruby: 12,236; objc: 9,465; xml: 8,396; asm: 3,873; yacc: 2,397; sh: 1,647; makefile: 650; lex: 644; java: 110
file content (23 lines) | stat: -rw-r--r-- 716 bytes parent folder | download | duplicates (9)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
<!DOCTYPE html>
<style>
    #detector { width: 5px; }
    @media (-webkit-device-pixel-ratio:1) { #detector { width: 10px; } }
    @media (-webkit-device-pixel-ratio:3) { #detector { width: 30px; } }
    @media (-webkit-device-pixel-ratio:4) { #detector { width: 40px; } }
</style>
<script>
    function devicePixelRatioFromStyle() {
        var width = getComputedStyle(document.getElementById("detector")).width;
        switch (width) {
            case "10px":
                return 1;
            case "30px":
                return 3;
            case "40px":
                return 4;
            default:
                return "unknown width: " + width;
        }
    }
</script>
<div id="detector"></div>