extension-delete.patch

   1 From ef49670ae491993cbfcfe666d389485c3a7c8adb Mon Sep 17 00:00:00 2001
   2 From: Jasper St. Pierre <jstpierre@mecheye.net>
   3 Date: Thu, 01 Dec 2011 02:46:52 +0000
   4 Subject: fileUtils: Fix recursivelyDeleteDir
   5
   6 ---
   7 diff --git a/js/misc/fileUtils.js b/js/misc/fileUtils.js
   8 index cd7339c..7466be8 100644
   9 --- a/js/misc/fileUtils.js
  10 +++ b/js/misc/fileUtils.js
  11 @@ -38,7 +38,7 @@ function recursivelyDeleteDir(dir) {
  12          let child = dir.get_child(info.get_name());
  13          if (type == Gio.FileType.REGULAR)
  14              deleteGFile(child);
  15 -        else if (type == Gio.TypeType.DIRECTORY)
  16 +        else if (type == Gio.FileType.DIRECTORY)
  17              recursivelyDeleteDir(child);
  18      }
  19
  20 --
  21 cgit v0.9.0.2
  22 From bbb83656bf83c9740fe68db7e35e05ea4f129b01 Mon Sep 17 00:00:00 2001
  23 From: Jasper St. Pierre <jstpierre@mecheye.net>
  24 Date: Thu, 01 Dec 2011 03:02:09 +0000
  25 Subject: extensionSystem: Set the proper 'enabled' and 'type' parameters
  26
  27 When installing an extension at runtime, we accidentally swapped the 'type'
  28 and 'enabled' parameters. While this doesn't directly affect anything right
  29 now, as everything works coincidentally, future patches that look at the
  30 'type' parameter to decide what to do would get the wrong answer.
  31 ---
  32 diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js
  33 index a0302fe..9aadb3a 100644
  34 --- a/js/ui/extensionSystem.js
  35 +++ b/js/ui/extensionSystem.js
  36 @@ -202,7 +202,7 @@ function gotExtensionZipFile(session, message, uuid) {
  37              global.settings.set_strv(ENABLED_EXTENSIONS_KEY, enabledExtensions);
  38          }
  39
  40 -        loadExtension(dir, true, ExtensionType.PER_USER);
  41 +        loadExtension(dir, ExtensionType.PER_USER, true);
  42      });
  43  }
  44
  45 --
  46 cgit v0.9.0.2