Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper function call;
authorwenzelm
Thu, 03 Mar 2022 19:50:41 +0100
changeset 75207 6087947afd0a
parent 75206 481ad7da73a9
child 75208 31c5a22d50ef
proper function call;
src/Tools/VSCode/extension/src/file.ts file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/src/file.ts	Thu Mar 03 17:30:43 2022 +0100
+++ b/src/Tools/VSCode/extension/src/file.ts	Thu Mar 03 19:50:41 2022 +0100
@@ -16,7 +16,7 @@
 
 export function cygwin_root(): string
 {
-  if (platform.is_windows) {
+  if (platform.is_windows()) {
     return library.getenv_strict("CYGWIN_ROOT")
   }
   else { return "" }
@@ -82,7 +82,7 @@
   var rest = standard_path
   const is_root = standard_path.startsWith("/")
 
-  if (platform.is_windows) {
+  if (platform.is_windows()) {
     const cygdrive_pattern = new RegExp("/cygdrive/([a-zA-Z])($|/.*)")
     const cygdrive_match = standard_path.match(cygdrive_pattern)
isabelle