[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Can a key in a array be deleted while the array is iterat
From: |
Andrew J. Schorr |
Subject: |
Re: [bug-gawk] Can a key in a array be deleted while the array is iterated? |
Date: |
Tue, 3 Jan 2017 14:49:54 -0500 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Tue, Jan 03, 2017 at 12:28:11PM -0700, Nelson H. F. Beebe wrote:
> >> http://pubs.opengroup.org/onlinepubs/9699919799/utilities/awk.html
> >> Does anybody see italics?
>
> I see a slanted sansserif font in my Firefox 52.0a2 bleeding-edge
> browser, as well as in the CentOS default Firefox 45.6.0-1, in the
> example in the table with column 1 having "(index) in array": both
> "index" and "array" are slanted.
That's very surprising. When I look at the page source, I see this:
<p>The <b>delete</b> statement shall remove an individual array element. Thus,
the following code deletes an entire array:</p>
<pre>
<tt>for (index in array)
delete array[index]
</tt>
</pre>
How is it possible for "index" or "array" to be in a different font?
You should file a bug report against Firefox! :-)
Regards,
Andy
- Re: [bug-gawk] Can a key in a array be deleted while the array is iterated?,
Andrew J. Schorr <=