From 273299693b85996878907ad256ed55f072ec3f1a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lauren=C8=9Biu=20Nicola?= <lnicola@dend.ro>
Date: Mon, 9 Dec 2019 20:57:55 +0200
Subject: Code: enable prettier trailing commas

---
 editors/code/src/highlighting.ts | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'editors/code/src/highlighting.ts')

diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts
index 48f2a2547..6d50a2f2d 100644
--- a/editors/code/src/highlighting.ts
+++ b/editors/code/src/highlighting.ts
@@ -30,19 +30,19 @@ export class Highlighter {
     > {
         const decoration = (
             tag: string,
-            textDecoration?: string
+            textDecoration?: string,
         ): [string, vscode.TextEditorDecorationType] => {
             const color = new vscode.ThemeColor('ralsp.' + tag);
             const decor = vscode.window.createTextEditorDecorationType({
                 color,
-                textDecoration
+                textDecoration,
             });
             return [tag, decor];
         };
 
         const decorations: Iterable<[
             string,
-            vscode.TextEditorDecorationType
+            vscode.TextEditorDecorationType,
         ]> = [
             decoration('comment'),
             decoration('string'),
@@ -61,7 +61,7 @@ export class Highlighter {
             decoration('variable'),
             decoration('variable.mut', 'underline'),
             decoration('field'),
-            decoration('module')
+            decoration('module'),
         ];
 
         return new Map<string, vscode.TextEditorDecorationType>(decorations);
@@ -118,20 +118,20 @@ export class Highlighter {
                 colorfulIdents
                     .get(d.bindingHash)![0]
                     .push(
-                        Server.client.protocol2CodeConverter.asRange(d.range)
+                        Server.client.protocol2CodeConverter.asRange(d.range),
                     );
             } else {
                 byTag
                     .get(d.tag)!
                     .push(
-                        Server.client.protocol2CodeConverter.asRange(d.range)
+                        Server.client.protocol2CodeConverter.asRange(d.range),
                     );
             }
         }
 
         for (const tag of byTag.keys()) {
             const dec = this.decorations.get(
-                tag
+                tag,
             ) as vscode.TextEditorDecorationType;
             const ranges = byTag.get(tag)!;
             editor.setDecorations(dec, ranges);
@@ -141,7 +141,7 @@ export class Highlighter {
             const textDecoration = mut ? 'underline' : undefined;
             const dec = vscode.window.createTextEditorDecorationType({
                 light: { color: fancify(hash, 'light'), textDecoration },
-                dark: { color: fancify(hash, 'dark'), textDecoration }
+                dark: { color: fancify(hash, 'dark'), textDecoration },
             });
             editor.setDecorations(dec, ranges);
         }
-- 
cgit v1.2.3