Changeset 87808 in webkit

Timestamp:

Jun 1, 2011 9:08:24 AM (13 years ago)

Author:

Carlos Garcia Campos

Message:

2011-06-01 Carlos Garcia Campos <​cgarcia@igalia.com>

Reviewed by Martin Robinson.

[GTK] run-launcher should run MiniBrowser in WebKit2
​https://bugs.webkit.org/show_bug.cgi?id=61858

• Scripts/run-launcher: Check whether -2 command line option has been passed and run MiniBrowser instead of GtkLauncher.

Location:

trunk/Tools

Files:

• ChangeLog (modified) (1 diff)
• Scripts/run-launcher (modified) (1 diff)

trunk/Tools/ChangeLog

@@ +1 @@
+2011-06-01  Carlos Garcia Campos  <cgarcia@igalia.com>
+
+        Reviewed by Martin Robinson.
+
+        [GTK] run-launcher should run MiniBrowser in WebKit2
+        https://bugs.webkit.org/show_bug.cgi?id=61858
+
+        * Scripts/run-launcher: Check whether -2 command line option has
+        been passed and run MiniBrowser instead of GtkLauncher.
+
 2011-05-31  Hao Zheng  <zhenghao@chromium.org>
 

trunk/Tools/Scripts/run-launcher

@@ -66 +66 @@
 
     if (isGtk()) {
-        $launcherPath = catdir($launcherPath, "Programs", "GtkLauncher");
+        if (isWK2()) {
+            $launcherPath = catdir($launcherPath, "Programs", "MiniBrowser");
+
+            # isWK2() removes the -2 option from @ARGV, but not @args. We do not want to pass -2 to MiniBrowser.
+            @args = @ARGV;
+        } else {
+            $launcherPath = catdir($launcherPath, "Programs", "GtkLauncher");
+        }
     }