WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
152076
Web Inspector: zoom with Ctrl +/- doesn't work correctly when inspector is docked
https://bugs.webkit.org/show_bug.cgi?id=152076
Summary
Web Inspector: zoom with Ctrl +/- doesn't work correctly when inspector is do...
Blaze Burg
Reported
2015-12-09 10:29:30 PST
From a comment in
bug 149590
: If the Developer tools are docked at the bottom of my browser and I'm either zoomed-in or out and then I try to resize the Dev Tools vertically by pulling it up or down, it doesn't work at all. If I restore Dev Tools to their original resolution by typing Command-0, then yes I can resize the tools vertically without any issues. I've included a brief "steps to reproduce" list below: 1. Bring up the Developer Tools in Webkit. 2. Make sure that they are docked at the bottom of the browser window. 3. Either zoom in or out of the Developer tools. 4. Attempt to resize Developer Tools by dragging its top menu bar either upwards or downwards. Expected Results: The Developer Tools would resize vertically. Actual Result: Developer Tools do not resize, in fact opposite behaviour was observed whereby they shrinked vertically when the user attempted to lengthen them vertically.
Attachments
Proposed Fix
(4.79 KB, patch)
2015-12-09 11:28 PST
,
Blaze Burg
no flags
Details
Formatted Diff
Diff
Proposed Fix (simpler)
(1.89 KB, patch)
2015-12-09 12:14 PST
,
Blaze Burg
no flags
Details
Formatted Diff
Diff
Show Obsolete
(1)
View All
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2015-12-09 10:30:06 PST
<
rdar://problem/23823393
>
Blaze Burg
Comment 2
2015-12-09 11:28:23 PST
Created
attachment 267027
[details]
Proposed Fix
Joseph Pecoraro
Comment 3
2015-12-09 11:31:58 PST
Comment on
attachment 267027
[details]
Proposed Fix View in context:
https://bugs.webkit.org/attachment.cgi?id=267027&action=review
> Source/WebKit2/UIProcess/mac/WebInspectorProxyMac.mm:145 > + if (self.ignoreNextViewFrameDidChangeNotification) { > + self.ignoreNextViewFrameDidChangeNotification = NO; > + return; > + }
Matt recently removed something like this. Check with him to see if he has a counter-example for why this may not be correct.
> Source/WebKit2/UIProcess/mac/WebInspectorProxyMac.mm:727 > + [m_inspectorProxyObjCAdapter.get() setIgnoreNextViewFrameDidChangeNotification:YES];
I think the `.get()` is actually not needed here, due to magic.
Blaze Burg
Comment 4
2015-12-09 12:08:43 PST
Comment on
attachment 267027
[details]
Proposed Fix View in context:
https://bugs.webkit.org/attachment.cgi?id=267027&action=review
>> Source/WebKit2/UIProcess/mac/WebInspectorProxyMac.mm:145 >> + } > > Matt recently removed something like this. Check with him to see if he has a counter-example for why this may not be correct.
You are right. I'll revert it.
https://bugs.webkit.org/show_bug.cgi?id=146994
Blaze Burg
Comment 5
2015-12-09 12:14:21 PST
Created
attachment 267034
[details]
Proposed Fix (simpler)
WebKit Commit Bot
Comment 6
2015-12-09 13:35:13 PST
Comment on
attachment 267034
[details]
Proposed Fix (simpler) Clearing flags on attachment: 267034 Committed
r193858
: <
http://trac.webkit.org/changeset/193858
>
WebKit Commit Bot
Comment 7
2015-12-09 13:35:16 PST
All reviewed patches have been landed. Closing bug.
Nikita Vasilyev
Comment 8
2015-12-09 16:20:42 PST
***
Bug 149946
has been marked as a duplicate of this bug. ***
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug