Pad line number appropriately when generating script insets.

Pad line number appropriately when generating script insets.

This avoid jagged indentation when we jump from 9->10, 99->100, etc.

BUG=
R=johnmccutchan@google.com

Committed: https://github.com/dart-lang/sdk/commit/f5a07f6a9c393b8c5b9ed753672b773a6858d5a3

[turnidge, 2015-10-14 18:39:39]

turnidge@google.com changed reviewers:
+ johnmccutchan@google.com

[Cutch, 2015-10-14 19:12:41]

LGTM with a small suggestion

https://codereview.chromium.org/1402193003/diff/20001/runtime/observatory/lib...
File runtime/observatory/lib/src/elements/script_inset.dart (right):

https://codereview.chromium.org/1402193003/diff/20001/runtime/observatory/lib...
runtime/observatory/lib/src/elements/script_inset.dart:962: var e =
span("$nbsp${lineNumber.toString().padLeft(lineNumPad,nbsp)}$nbsp");
if (lineNumPad == null) {
  lineNumPad = 0;
}

[turnidge, 2015-10-14 19:23:13]

https://codereview.chromium.org/1402193003/diff/20001/runtime/observatory/lib...
File runtime/observatory/lib/src/elements/script_inset.dart (right):

https://codereview.chromium.org/1402193003/diff/20001/runtime/observatory/lib...
runtime/observatory/lib/src/elements/script_inset.dart:962: var e =
span("$nbsp${lineNumber.toString().padLeft(lineNumPad,nbsp)}$nbsp");
On 2015/10/14 19:12:41, Cutch wrote:
> if (lineNumPad == null) {
>   lineNumPad = 0;
> }

Resolved offline.

[turnidge, 2015-10-14 20:28:38]

Committed patchset #2 (id:20001) manually as
f5a07f6a9c393b8c5b9ed753672b773a6858d5a3 (presubmit successful).