| [alias] | |
| ci = commit | |
| co = checkout | |
| cm = checkout master | |
| cb = checkout -b | |
| st = status -sb | |
| sf = show --name-only | |
| lg = log --pretty=format:'%Cred%h%Creset %C(bold)%cr%Creset %Cgreen<%an>%Creset %s' --max-count=30 | |
| incoming = !(git fetch --quiet && git log --pretty=format:'%C(yellow)%h %C(white)- %C(red)%an %C(white)- %C(cyan)%d%Creset %s %C(white)- %ar%Creset' ..@{u}) | |
| outgoing = !(git fetch --quiet && git log --pretty=format:'%C(yellow)%h %C(white)- %C(red)%an %C(white)- %C(cyan)%d%Creset %s %C(white)- %ar%Creset' @{u}..) |
| //---------- webChromeClient.java ---------- | |
| @Override | |
| public void onProgressChanged(final WebView view, int newProgress){ | |
| super.onProgressChanged(view, newProgress); | |
| if(newProgress == 100){ | |
| String code = "var mediaElement;" + | |
| "mediaCheck();" + | |
| "document.onclick = function(){" + |
I changed this!
This is an HTML5 audio player that detects the user agent of your device/browser/OS and applies styling that matches the native audio player. The playlist responds to the width of your screen and features basic UI controls.
Feel free to fork this pen and add your own user agent styles for different browsers, devices and operating systems.
| package test; | |
| import android.arch.lifecycle.LiveData; | |
| import android.content.BroadcastReceiver; | |
| import android.content.Context; | |
| import android.content.Intent; | |
| import android.content.IntentFilter; | |
| import android.net.ConnectivityManager; | |
| import android.net.NetworkInfo; |
| @mixin for-size($range) { | |
| $phone-upper-boundary: 600px; | |
| $tablet-portrait-upper-boundary: 900px; | |
| $tablet-landscape-upper-boundary: 1200px; | |
| $desktop-upper-boundary: 1800px; | |
| @if $range == phone-only { | |
| @media (max-width: #{$phone-upper-boundary - 1}) { @content; } | |
| } @else if $range == tablet-portrait-up { | |
| @media (min-width: $phone-upper-boundary) { @content; } |
| @mixin for-size($size) { | |
| @if $size == phone-only { | |
| @media (max-width: 599px) { @content; } | |
| } @else if $size == tablet-portrait-up { | |
| @media (min-width: 600px) { @content; } | |
| } @else if $size == tablet-landscape-up { | |
| @media (min-width: 900px) { @content; } | |
| } @else if $size == desktop-up { | |
| @media (min-width: 1200px) { @content; } | |
| } @else if $size == big-desktop-up { |
| <?php | |
| function fib($n) | |
| { | |
| if ($n < 2) | |
| return $n; | |
| else | |
| return fib($n - 1) + fib($n - 2); | |
| } | |
| ?> |
| @echo off | |
| title Wifi Hotspot | |
| echo What You What To Do ? | |
| echo 1 to create wifi | |
| echo 2 to stop wifi | |
| echo 3 show details | |
| set /p input= | |
| if %input%==1 goto 1 | |
| if %input%==2 goto 2 |
| <script type="text/javascript"> | |
| (function () { | |
| "use strict"; | |
| // once cached, the css file is stored on the client forever unless | |
| // the URL below is changed. Any change will invalidate the cache | |
| var css_href = './index_files/web-fonts.css'; | |
| // a simple event handler wrapper | |
| function on(el, ev, callback) { | |
| if (el.addEventListener) { | |
| el.addEventListener(ev, callback, false); |
In this document I am using Sass's SCSS syntax. You can choose to use the indented syntax in sass, if you prefer it, it has no functional differences from the SCSS syntax.
For Less, I'm using the JavaScript version because this is what they suggest on the website. The ruby version may be different.