[Webkit-unassigned] [Bug 128999] New: [GTK] Minibrowser: Add shortcuts for reloading page and reloading page ignoring cache

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=128999

           Summary: [GTK] Minibrowser: Add shortcuts for reloading page
                    and reloading page ignoring cache
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: dpino at igalia.com


In some cases, for testing purposes, it's necessary to reload a page (specially ignoring cache). Right now, to reload the current page ignoring cache it's necessary to open the Web Inspector and press Ctrl+Shift+R. It would be convenient that this shortcut were accessible directly, and in addition have another one for simply reloading the current page.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.