[Webkit-unassigned] [Bug 20099] New: [GTK] SHIFT+PAGE_UP/DOWN doesn't extend selection
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Fri Jul 18 13:49:50 PDT 2008
https://bugs.webkit.org/show_bug.cgi?id=20099
Summary: [GTK] SHIFT+PAGE_UP/DOWN doesn't extend selection
Product: WebKit
Version: 526+ (Nightly build)
Platform: All
OS/Version: All
Status: UNCONFIRMED
Severity: Minor
Priority: P2
Component: WebKit API
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: camaradetux at gmail.com
Using SHIFT and UP/DOWN or HOME/END correctly extends selection but not with
PAGE_UP/PAGE_DOWN.
There's no bug, just no implementation.
I'm attaching a trivial patch which is basically an adaptation of the code for
up/down which is written just before.
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
More information about the webkit-unassigned
mailing list