Pinned Loading

1. numeric-keyboard numeric-keyboard Public

   Number keyboard for mobile browsers

   JavaScript 363 73

2. Hosts Hosts Public

   Hosts switcher for MacOS

   Swift 11 4

3. responsive.js responsive.js

   1

   (function () {

   2

     var scale = 1 / window.devicePixelRatio;

   3

     document.querySelector('meta[name=viewport]').setAttribute('content', 'width=device-width,initial-scale='+scale+',maximum-scale='+scale+',minimum-scale='+scale+',user-scalable=no');

   4

     var rangingRem = document.createElement('div');

   5

     rangingRem.style.cssText = 'width:1rem;';

4. encodeURIComponentJava.js encodeURIComponentJava.js

   1

   /*

   2

   MDC on encodeURIComponent():

   3

   4

   literal characters (regex representation): [-a-zA-Z0-9._*~'()!]

   5

5. reducerx.ts reducerx.ts

   1

   import React, { useReducer } from 'react'

   2

   import hoistNonReactStatics from 'hoist-non-react-statics'

   3

   4

   interface Reducer {

   5

     (state, action): any