[html5] r7318 - [giow] (0) Allow script termination dialogs to close the page too. Affected topi [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2012-09-05 09:48:08 -0700 (Wed, 05 Sep 2012)
New Revision: 7318

Modified:
   complete.html
   index
   source
Log:
[giow] (0) Allow script termination dialogs to close the page too.
Affected topics: HTML

Modified: complete.html
===================================================================
--- complete.html	2012-09-05 16:42:34 UTC (rev 7317)
+++ complete.html	2012-09-05 16:48:08 UTC (rev 7318)
@@ -74441,6 +74441,13 @@
   <p>If scripting is disabled while a script is executing, the script
   should be terminated immediately.</p>
 
+  <p>User agents may allow users to specifically disable scripts just
+  for the purposes of closing a <a href=#browsing-context>browsing context</a>.</p>
+
+  <p class=example>For example, the prompt mentioned in the example
+  above could also offer the user with a mechanism to just close the
+  page entirely, without running any <code title=event-unload>unload</code> event handlers.</p>
+
   </div>
 
 

Modified: index
===================================================================
--- index	2012-09-05 16:42:34 UTC (rev 7317)
+++ index	2012-09-05 16:48:08 UTC (rev 7318)
@@ -74441,6 +74441,13 @@
   <p>If scripting is disabled while a script is executing, the script
   should be terminated immediately.</p>
 
+  <p>User agents may allow users to specifically disable scripts just
+  for the purposes of closing a <a href=#browsing-context>browsing context</a>.</p>
+
+  <p class=example>For example, the prompt mentioned in the example
+  above could also offer the user with a mechanism to just close the
+  page entirely, without running any <code title=event-unload>unload</code> event handlers.</p>
+
   </div>
 
 

Modified: source
===================================================================
--- source	2012-09-05 16:42:34 UTC (rev 7317)
+++ source	2012-09-05 16:48:08 UTC (rev 7318)
@@ -87017,6 +87017,14 @@
   <p>If scripting is disabled while a script is executing, the script
   should be terminated immediately.</p>
 
+  <p>User agents may allow users to specifically disable scripts just
+  for the purposes of closing a <span>browsing context</span>.</p>
+
+  <p class="example">For example, the prompt mentioned in the example
+  above could also offer the user with a mechanism to just close the
+  page entirely, without running any <code
+  title="event-unload">unload</code> event handlers.</p>
+
   </div>