{ // Place your global snippets here. Each snippet is defined under a snippet name and has a scope, prefix, body and // description. Add comma separated ids of the languages where the snippet is applicable in the scope field. If scope // is left empty or omitted, the snippet gets applied to all languages. The prefix is what is // used to trigger the snippet and the body will be expanded and inserted. Possible variables are: // $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. // Placeholders with the same ids are connected. // Example: // "Print to console": { // "scope": "javascript,typescript", // "prefix": "log", // "body": [ // "console.log('$1');", // "$2" // ], // "description": "Log output to console" // } "Huge LaTeX header": { "scope": "latex,tex", "prefix": "%%header", "body": [ "%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%", "% $0", "% ", "% $2", "% ", "% Version: v0.0.1", "% Author: Samuel ORTION", "% Date: $CURRENT_YEAR-$CURRENT_MONTH-$CURRENT_DATE", "% License: LPPL 1.3c", "%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%", ] }, "Strong Comment Header": { "scope": "latex,tex", "prefix": "%%", "body": [ "%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%", "% $0", "%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%", ] }, "Light Comment Header": { "scope": "latex,tex", "prefix": "%-", "body": [ "%----------------------------------------------------------------------------", "% $0", "%----------------------------------------------------------------------------", ] }, "Hypothesis highlight":{ "scope": "latex,tex", "prefix": "hyp", "body": [ "\\textit{\\textcolor{orange}{Hyp.} $0}", ] }, "Figure TikZ Standalone":{ "scope": "latex,tex", "prefix": "tikzfig", "body":[ "\\documentclass[margin=0.5cm]{standalone}", "\\usepackage{tikz}", "\\usetikzlibrary{positioning,calc}", "", "\\begin{document}", "", "\\begin{tikzpicture}", " $0", "\\end{tikzpicture}", "\\end{document}", ] } }