# HG changeset patch
# User wenzelm
# Date 1489140226 -3600
# Node ID 63655086649f6424d25f0c3d9097e81c3f811799
# Parent  a8dfa258bf93e26d5450d49da30650f4faedac28
prefer type equality;

diff -r a8dfa258bf93 -r 63655086649f src/Tools/VSCode/extension/src/decorations.ts
--- a/src/Tools/VSCode/extension/src/decorations.ts	Thu Mar 09 21:55:02 2017 +0100
+++ b/src/Tools/VSCode/extension/src/decorations.ts	Fri Mar 10 11:03:46 2017 +0100
@@ -145,7 +145,7 @@
     document_decorations.set(decoration.uri, document)
 
     for (const editor of vscode.window.visibleTextEditors) {
-      if (decoration.uri == editor.document.uri.toString()) {
+      if (decoration.uri === editor.document.uri.toString()) {
         editor.setDecorations(typ, decoration.content)
       }
     }
diff -r a8dfa258bf93 -r 63655086649f src/Tools/VSCode/extension/src/extension.ts
--- a/src/Tools/VSCode/extension/src/extension.ts	Thu Mar 09 21:55:02 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Fri Mar 10 11:03:46 2017 +0100
@@ -17,9 +17,9 @@
   const isabelle_home = vscode.workspace.getConfiguration("isabelle").get<string>("home");
   const isabelle_args = vscode.workspace.getConfiguration("isabelle").get<Array<string>>("args");
 
-  if (is_windows && cygwin_root == "")
+  if (is_windows && cygwin_root === "")
     vscode.window.showErrorMessage("Missing user settings: isabelle.cygwin_root")
-  else if (isabelle_home == "")
+  else if (isabelle_home === "")
     vscode.window.showErrorMessage("Missing user settings: isabelle.home")
   else {
     const isabelle_tool = isabelle_home + "/bin/isabelle"