Skip to content

Instantly share code, notes, and snippets.

View hbt's full-sized avatar

Hassen Ben Tanfous hbt

View GitHub Profile
@hbt
hbt / underscore_prod_version_compiled
Created January 6, 2012 19:25
coffeescript with line numbers for debugging (prod version)
(function() {
var ArrayProto, ObjProto, addToWrapper, breaker, escapeRegExp, hasOwnProperty, idCounter, nativeEvery, nativeFilter, nativeForEach, nativeIndexOf, nativeIsArray, nativeKeys, nativeLastIndexOf, nativeMap, nativeReduce, nativeReduceRight, nativeSome, previousUnderscore, propertyIsEnumerable, result, root, slice, toString, unshift, wrapper, _,
__hasProp = Object.prototype.hasOwnProperty;
root = this;
previousUnderscore = root._;
breaker = typeof StopIteration === 'undefined' ? '__break__' : StopIteration;
@hbt
hbt / underscore_debug_version
Created January 6, 2012 19:25
underscore in coffeescript compiled javascript version with line numbers matching original source code
@hbt
hbt / wupload.hack
Created November 13, 2011 06:20
wupload countdown hack --- copy paste script + call CMApplication.Pages.Download.CountDown.hack(); and download files without waiting
// Build on Thu Oct 20 21:06:21 CEST 2011 for language "en"
myHostname = window.location.hostname;
var myTLD = "." + myHostname.substring(myHostname.indexOf("wupload") + "wupload.".length).split(".")[0];
function afterLoad() {
return
}
ieFixForFileSelectionOnChangeEventTimer = null;
function ieFixForFileSelectionOnChangeEvent(a) {
@hbt
hbt / all_dark.css
Created October 23, 2011 20:57
dark colors
/** dark_colors */
* {
color: rgb(237, 237, 237);
font-size: 14px;
background-image: initial !important;
background-attachment: initial;
background-origin: initial;
background-clip: initial;
background-color: rgb(15, 15, 15) !important;
background-position: initial initial;
@hbt
hbt / Custom.css
Created October 8, 2011 22:35
Custom.css google chrome
* {
color: rgb(237, 237, 237);
font-size: 14px;
background-image: initial;
background-attachment: initial;
background-origin: initial;
background-clip: initial;
background-color: rgb(15, 15, 15);
background-position: initial initial;
background-repeat: initial initial;