Changeset 152341 in webkit

Timestamp:

Jul 3, 2013 12:30:29 AM (11 years ago)

Author:

commit-queue@webkit.org

Message:

[GTK] Let F5 refresh the page in MiniBrowser
​https://bugs.webkit.org/show_bug.cgi?id=117638

Patch by Morten Stenshorne <​mstensho@opera.com> on 2013-07-03
Reviewed by Carlos Garcia Campos.

Also use the correct icon for the refresh button that was already there.

• MiniBrowser/gtk/BrowserWindow.c:

(browser_window_init):

Location:

trunk/Tools

Files:

• ChangeLog (modified) (1 diff)
• MiniBrowser/gtk/BrowserWindow.c (modified) (3 diffs)

trunk/Tools/ChangeLog

@@ +1 @@
+2013-07-03  Morten Stenshorne  <mstensho@opera.com>
+
+        [GTK] Let F5 refresh the page in MiniBrowser
+        https://bugs.webkit.org/show_bug.cgi?id=117638
+
+        Reviewed by Carlos Garcia Campos.
+
+        Also use the correct icon for the refresh button that was already there.
+
+        * MiniBrowser/gtk/BrowserWindow.c:
+        (browser_window_init):
+
 2013-07-02  Kondapally Kalyan  <kalyan.kondapally@intel.com>
 

trunk/Tools/MiniBrowser/gtk/BrowserWindow.c

@@ -30 +30 @@
 #include "BrowserDownloadsBar.h"
 #include "BrowserSettingsDialog.h"
+#include <gdk/gdkkeysyms.h>
 #include <string.h>
 
@@ -523 +524 @@
     updateUriEntryIcon(window);
 
+    /* Keyboard accelerators */
+    GtkAccelGroup *accelGroup = gtk_accel_group_new();
+    gtk_window_add_accel_group(GTK_WINDOW(window), accelGroup);
+    g_object_unref(accelGroup);
+
     GtkWidget *toolbar = gtk_toolbar_new();
     window->toolbar = toolbar;
@@ -566 +572 @@
     gtk_widget_show(GTK_WIDGET(item));
 
-    item = gtk_tool_button_new_from_stock(GTK_STOCK_OK);
+    item = gtk_tool_button_new_from_stock(GTK_STOCK_REFRESH);
     g_signal_connect_swapped(item, "clicked", G_CALLBACK(reloadCallback), window);
     gtk_toolbar_insert(GTK_TOOLBAR(toolbar), item, -1);
+    gtk_widget_add_accelerator(GTK_WIDGET(item), "clicked", accelGroup, GDK_KEY_F5, 0, GTK_ACCEL_VISIBLE);
     gtk_widget_show(GTK_WIDGET(item));