RESOLVED FIXED111576
Web Inspector: [ACE] gutter size should be fixed. 
https://bugs.webkit.org/show_bug.cgi?id=111576
Summary Web Inspector: [ACE] gutter size should be fixed.
Andrey Lushnikov
Reported 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.
Attachments
Patch (196.79 KB, patch)
2013-03-06 06:46 PST, Andrey Lushnikov 		no flags
DetailsFormatted DiffDiff
Patch (196.77 KB, patch)
2013-03-07 02:22 PST, Andrey Lushnikov 		no flags
DetailsFormatted DiffDiff
Show Obsolete (1) View All Add attachment proposed patch, testcase, etc.
Andrey Lushnikov
Comment 1 2013-03-06 06:46:25 PST
Created attachment 191744 [details] Patch
Pavel Feldman
Comment 2 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.
Andrey Lushnikov
Comment 3 2013-03-07 02:22:39 PST
Created attachment 191956 [details] Patch
WebKit Review Bot
Comment 4 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>
WebKit Review Bot
Comment 5 2013-03-07 04:58:04 PST
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.