[platform-doc-dev] [patch] EclipseStyle.htm all_os_ws -> all_platforms

[Ben Konrath <bkonrath@xxxxxxxxxx>]

Hi Mike, 

Since the idea of widget set and operating system are not present with
the new naming system, it might be a good idea to change the name of the
all_os_ws class. Attached is a patch that changes the name of the
all_os_ws class to all_platforms.

Cheers, Ben

Index: docs/EclipseStyle.htm
===================================================================
RCS file: /home/eclipse/platform-doc-home/docs/EclipseStyle.htm,v
retrieving revision 1.4
diff -u -r1.4 EclipseStyle.htm
--- docs/EclipseStyle.htm	25 Jan 2005 23:36:57 -0000	1.4
+++ docs/EclipseStyle.htm	26 Jan 2005 01:46:48 -0000
@@ -469,7 +469,7 @@
 <dd>For Mac OS X, under which you Ctrl-click
 to access the context menu.</dd>
 
-<dt>class="all_os_ws"</dt>
+<dt>class="all_platforms"</dt>
 <dd>This category combines the information from the above classes into
 a single grouping.
 This enables vendors to disable the display of the "all" category and
@@ -482,7 +482,7 @@
 <td>
 <p>In the HTML file:</p>
 <pre>
-&lt;div class="all_os_ws"&gt;
+&lt;div class="all_platforms"&gt;
 &lt;p&gt;To access the help system:&lt;/p&gt;
 &lt;ul&gt;
 &lt;li&gt;On Windows, press [F1]&lt;/li&gt;
@@ -503,7 +503,7 @@
 </pre>
 
 <p>And in the CSS file that prints generic documentation
-(and in which by default all_os_ws is enabled):</p>
+(and in which by default all_platforms is enabled):</p>
 <pre>
 .ctrlf1 {display: none;}
 .helpkey {display: none;}
@@ -512,7 +512,7 @@
 
 <p>And in the CSS file for a gtk system:</p>
 <pre>
-.all_os_ws {display: none;}
+.all_platforms {display: none;}
 .helpkey {display: none;}
 .f1 {display: none;}
 </pre>
@@ -548,7 +548,7 @@
 <table border="1" cellpadding="3" cellspacing="0">
 <tbody><tr><th rowspan="3">O/S</th><th colspan="8">CSS</th></tr>
 
-<tr><th colspan="2">Path names</th><th colspan="3">Help Key</th><th colspan="2">Mouse</th><th rowspan="2" width="75" valign="bottom">all_os_ws</th></tr>
+<tr><th colspan="2">Path names</th><th colspan="3">Help Key</th><th colspan="2">Mouse</th><th rowspan="2" width="75" valign="bottom">all_platforms</th></tr>
 <tr><th width="75">win32</th><th width="75">unix</th><th width="75">ctrlf1</th><th width="75">helpkey</th><th width="75">f1</th>
 <th width="75">rtclick</th><th width="75">ctrlclick</th></tr>
 <tr><td>Win32</td><td class="on">on</td><td>off</td><td>off</td><td>off</td><td class="on">on</td><td class="on">on</td><td>off</td><td>off</td></tr>