Skip to content

Instantly share code, notes, and snippets.

View evidens's full-sized avatar

F. Gabriel Gosselin evidens

View GitHub Profile
@evidens
evidens / user-bootstrap-circle-popover.js
Created May 25, 2012 03:30
Quick override of Bootstrap popover to support SVG circles (which don't have a valid offsetWidth/offsetHeight in Safari 5.1.7 OS X)
/* ===========================================================
* Minimal extension to bootstrap-popover.js v2.0.0
* http://twitter.github.com/bootstrap/javascript.html#popovers
* ===========================================================
* I claim nothing, just hope this helps someone else.
*/
!function( $ ) {
//Conditionally load jQuery
//inspired by http://www.smashingmagazine.com/2010/05/23/make-your-own-bookmarklets-with-jquery/
window.onload = function () {
if (typeof jQuery == 'undefined') {
var jQ = document.createElement('script');
jQ.type = 'text/javascript';
jQ.onload = jQ.onreadystatechange = myOnLoadEvent;
jQ.src = ( "https:" == location.protocol ? "https://" : "http://" ) + 'ajax.googleapis.com/ajax/libs/jquery/1/jquery.min.js';
document.body.appendChild(jQ);
@evidens
evidens / vim.rb
Created April 16, 2012 22:45
Vim formula for Homebrew
require 'formula'
class VimHg < Formula
homepage 'http://www.vim.org/'
url 'https://vim.googlecode.com/hg/', :revision => '2cfb68fa26cd'
version '7.3.487'
def features; %w(tiny small normal big huge) end
def interp; %w(lua mzscheme perl python python3 tcl ruby) end
@evidens
evidens / gmail_tricks.md
Last active August 29, 2015 14:05
Tips for using GMail more effectively

I'm always surprised by how few people really learn to master GMail especially as more businesses use it and grumble because it's not Outlook. I find I'm more productive in Gmail than most of the well-known desktop email, but there are a few things to learn.

Labels

In other email programmes, they're folders, but GMail uses labels. The same message can have multiple labels so you can boost your chances of finding things later. When you 'Move to…' you're really labelling and archiving.

When you've got the kind of job where you will have to refer back to emails, taking the time to set up a few sane labels can make a huge difference when you're searching later on.

Searching

Gmail already does a pretty good job of showing you the result you want with a plain search. But when you're looking for that one email among hundreds, narrowing it down can save your bacon.