Skip to content

Instantly share code, notes, and snippets.

View DGuidi's full-sized avatar
🏠
¯\_(ツ)_/¯

Diego Guidi DGuidi

🏠
¯\_(ツ)_/¯
  • Fano, Italy
View GitHub Profile
@shawndumas
shawndumas / .gitconfig
Created August 5, 2013 19:08
Using WinMerge as the git Diff/Merge Tool on Windows 64bit
[mergetool]
prompt = false
keepBackup = false
keepTemporaries = false
[merge]
tool = winmerge
[mergetool "winmerge"]
name = WinMerge
@andreabalducci
andreabalducci / WinJSAdapter.js
Created May 29, 2012 14:21
winjs update context wrapper
(function (){
var UpdateContext = window.UpdateContext = window.UpdateContext || {};
var isWinJS = typeof(MSApp) != 'undefined';
if(isWinJS){
UpdateContext.Execute = function(cb){
MSApp.execUnsafeLocalFunction(cb);
};
}else{
@DGuidi
DGuidi / TileLayer.TileJSON.js
Created February 1, 2012 08:49
Leaflet TileCanvas
L.TileLayer.TileJSON = L.TileLayer.Canvas.extend({
options: {
debug: false
},
tileSize: 256,
initialize: function (options) {
L.Util.setOptions(this, options);