« Bugzilla Issues Index
#2216 — 13.2.2.4: nonbold "Runtime" in header
- bug_id:
2216
- creation_ts:
2013-11-10 12:52:00 -0800
- short_desc:
13.2.2.4: nonbold "Runtime" in header
- delta_ts:
2014-05-22 19:35:52 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 24: April 27, 2014 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
minor
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
6631
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2013-11-10 12:52:03 -0800
In the header for 13.2.2.3 "Runtime Semantics: Evaluation",
the word "Runtime" is in a normal weight font.
Change it to a bold font.
- commentid:
6644
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2013-11-10 17:10:22 -0800
fixed in rev22 editor's draft
- commentid:
7075
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2014-01-27 10:04:18 -0800
fixed in Rev22 (January 20, 2013) release
- commentid:
7939
- comment_count:
3
- who:
Michael Dyck
- bug_when:
2014-04-28 11:00:48 -0700
No, this wasn't fixed in rev22, and still appears in rev24.
The section number is now 13.2.2.4.
- commentid:
8468
- comment_count:
4
- who:
Allen Wirfs-Brock
- bug_when:
2014-05-14 17:37:21 -0700
fixed in rev25 editor's draft
now 13.2.2.5
- commentid:
8616
- comment_count:
5
- who:
Michael Dyck
- bug_when:
2014-05-22 19:35:52 -0700
confirmed fixed in rev25