Bug 128999

Summary:

[GTK] Minibrowser: Add shortcuts for reloading page and reloading page ignoring cache

Product:

WebKit

Reporter:

Diego Pino <dpino>

Component:

WebKitGTK

Assignee:

Nobody <webkit-unassigned>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

commit-queue, mrobinson, svillar

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
Patch	none

Description Diego Pino 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.

Comment 1 Diego Pino 2014-02-18 14:31:26 PST

Created attachment 224552 [details]
Patch

Comment 2 WebKit Commit Bot 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>

Comment 3 WebKit Commit Bot 2014-03-16 04:24:24 PDT

All reviewed patches have been landed.  Closing bug.