RESOLVED FIXED 128999
[GTK] Minibrowser: Add shortcuts for reloading page and reloading page ignoring cache 
https://bugs.webkit.org/show_bug.cgi?id=128999
Summary [GTK] Minibrowser: Add shortcuts for reloading page and reloading page ignori...
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.