Bug 111576

Summary: Web Inspector: [ACE] gutter size should be fixed.
Product: WebKit Reporter: Andrey Lushnikov <lushnikov>
Component: Web Inspector (Deprecated)Assignee: Andrey Lushnikov <lushnikov>
Status: RESOLVED FIXED    
Severity: Normal CC: apavlov, keishi, loislo, pfeldman, pmuellr, vsevik, web-inspector-bugs, webkit.review.bot, yurys
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: All   
OS: All   
Attachments:
Description Flags
Patch
none
Patch none

Description Andrey Lushnikov 2013-03-06 06:42:44 PST
The gutter's width has size of its last visible line number. So when you scroll a file with lots of lines, gutter gets expanded more and more (as the amount of digits in line number increases).
It a perfect word, it should be of the same size all the time.
Comment 1 Andrey Lushnikov 2013-03-06 06:46:25 PST
Created attachment 191744 [details]
Patch
Comment 2 Pavel Feldman 2013-03-06 07:12:45 PST
Comment on attachment 191744 [details]
Patch

You should not change third party files in place. This diverges things and results in merging conflicts.
Comment 3 Andrey Lushnikov 2013-03-07 02:22:39 PST
Created attachment 191956 [details]
Patch
Comment 4 WebKit Review Bot 2013-03-07 04:58:00 PST
Comment on attachment 191956 [details]
Patch

Clearing flags on attachment: 191956

Committed r145064: <http://trac.webkit.org/changeset/145064>
Comment 5 WebKit Review Bot 2013-03-07 04:58:04 PST
All reviewed patches have been landed.  Closing bug.