Closed Bug 612368 Opened 9 years ago Closed 9 years ago
Beef up the notes() output in the JS shell
This is totally minor, but when debugging the line numbers recorded in source notes, it's nice to report the line numbers recorded in source notes. And this was my first time looking at the notes() output, so I added headers to help myself make sense of it.
Attachment #490662 - Flags: review?(dmandelin) → review+
Status: NEW → RESOLVED
Closed: 9 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.