Bug 128999

Summary: [GTK] Minibrowser: Add shortcuts for reloading page and reloading page ignoring cache
Product: WebKit Reporter: Diego Pino <dpino>
Component: WebKitGTKAssignee: Nobody <webkit-unassigned>
Status: RESOLVED FIXED    
Severity: Normal CC: commit-queue, mrobinson, svillar
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch none

Diego Pino
Reported 2014-02-18 14:25:20 PST
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.
Attachments
Patch (2.67 KB, patch)
2014-02-18 14:31 PST, Diego Pino 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Diego Pino
Comment 1 2014-02-18 14:31:26 PST
Created attachment 224552 [details] Patch
WebKit Commit Bot
Comment 2 2014-03-16 04:24:21 PDT
Comment on attachment 224552 [details] Patch Clearing flags on attachment: 224552 Committed r165697: <http://trac.webkit.org/changeset/165697>
WebKit Commit Bot
Comment 3 2014-03-16 04:24:24 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.