daily pastebin goal
69%
SHARE
TWEET

Untitled

a guest Jun 14th, 2018 59 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. [
  2.   {
  3.     "keys": ["super+shift+s"],
  4.     "command": "chain",
  5.     "args": {
  6.       "commands": [["js_prettier"], ["save"]]
  7.     }
  8.   },
  9.   {
  10.     "keys": ["super+alt+enter"],
  11.     "command": "lsp_symbol_definition",
  12.     "context": [
  13.       {
  14.         "key": "selector",
  15.         "operator": "equal",
  16.         "operand": ["source.reason", "source.ocaml"]
  17.       }
  18.     ]
  19.   },
  20.   {
  21.     "keys": ["super+shift+c"],
  22.     "command": "lsp_format_document",
  23.     "context": [
  24.       {
  25.         "key": "selector",
  26.         "operator": "equal",
  27.         "operand": ["source.reason"]
  28.       }
  29.     ]
  30.   }
  31. ]
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top