Author: ochikvina Date: 2009-01-20 05:02:46 -0500 (Tue, 20 Jan 2009) New Revision: 13143 Modified: trunk/jsf/docs/userguide/en/modules/preferences.xml Log: https://jira.jboss.org/jira/browse/JBDS-384- updating the "Server Preferences" section in the Visual Tools guide; Modified: trunk/jsf/docs/userguide/en/modules/preferences.xml =================================================================== --- trunk/jsf/docs/userguide/en/modules/preferences.xml 2009-01-20 10:01:47 UTC (rev 13142) +++ trunk/jsf/docs/userguide/en/modules/preferences.xml 2009-01-20 10:02:46 UTC (rev 13143) @@ -1021,23 +1021,6 @@ </mediaobject> </figure> - <para>Navigate to <emphasis> - <property>Server > JBoss Server View</property> - </emphasis> to set preferences for <property>JBoss Servers view</property>. On this page - you can enable or disable any of the listed view extensions, change their sequence order - and also edit preferences specific to each view extension. For example, <emphasis> - <property>Event Log</property> - </emphasis> preferences:</para> - - <figure> - <title>JBoss Server View Preferences</title> - <mediaobject> - <imageobject> - <imagedata fileref="images/preferences/preferences_39.png"/> - </imageobject> - </mediaobject> - </figure> - <para>Going to <emphasis> <property>Server > Audio</property> </emphasis> you can enable/disable the sound notification for different Server states