jonathancone

1. Go to https://www.google.com/intl/en/chrome/browser/ and download
2. Run sudo dpkg -i google-chrome-stable_current_amd64.deb
3. Run sudo apt-get -f install
4. Run google-chrome from a non-root window
5. Add Chrome to the Applications -> Internet menu by typing cp /opt/google/chrome/google-chrome.desktop /usr/share/applications/

jonathancone

[
  { "keys": ["f12"], "command": "htmlprettify"},
  { "keys": ["f1"], "command": "fold" },
  { "keys": ["f2"], "command": "unfold" },
  { "keys": ["ctrl+l"], "command": "show_overlay", "args": {"overlay": "goto", "text": "@"} },
  
  { "keys": ["ctrl+space"], "command": "auto_complete" },
  { "keys": ["ctrl+space"], "command": "replace_completion_with_auto_complete", "context":
    [
      { "key": "last_command", "operator": "equal", "operand": "insert_best_completion" },