ianlandsman

function strftime_win32($format, $ts = null) {
   if (!$ts) $ts = time();

   $mapping = array(
       '%C' => sprintf("%02d", date("Y", $ts) / 100),
       '%D' => '%m/%d/%y',
       '%e' => sprintf("%' 2d", date("j", $ts)),
       '%h' => '%b',
       '%n' => "\n",
       '%r' => date("h:i:s", $ts) . " %p",

twosixcode

// swap the keybindings for paste and paste_and_indent
{ "keys": ["super+v"], "command": "paste_and_indent" },
{ "keys": ["super+shift+v"], "command": "paste" }