« Bugzilla Issues Index
#1215 — 6: odd indenting
- bug_id:
1215
- creation_ts:
2013-01-24 20:15:00 -0800
- short_desc:
6: odd indenting
- delta_ts:
2013-03-08 14:44:12 -0800
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 13: December 21, 2012 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
trivial
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
3145
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2013-01-24 20:15:54 -0800
In 6 "Source Text",
under "Syntax",
the production for "SourceCharacter" is indented,
rather than the normal flush-left
(i.e., the first line is normally flush-left).
- commentid:
3220
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2013-02-25 15:30:00 -0800
fixed in rev 14 editor's draft
- commentid:
3322
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2013-03-08 14:44:12 -0800
in Rev 14 draft