|
From: <mbe...@us...> - 2011-12-22 10:59:10
|
Revision: 1241
http://scstudio.svn.sourceforge.net/scstudio/?rev=1241&view=rev
Author: mbezdeka
Date: 2011-12-22 10:58:58 +0000 (Thu, 22 Dec 2011)
Log Message:
-----------
front-end help updated
Modified Paths:
--------------
trunk/doc/help/acyclic/acyclic.html
trunk/doc/help/beautify/beautify.html
trunk/doc/help/boundedness/boundedness.html
trunk/doc/help/deadlock/deadlock.html
trunk/doc/help/fifo/fifo.html
trunk/doc/help/frontend/automatic_drawing.html
trunk/doc/help/frontend/flip_message_direction.html
trunk/doc/help/frontend/message_numbering.html
trunk/doc/help/frontend/pictures/add_instances_options.png
trunk/doc/help/frontend/pictures/message_numbering_autoenum_options.png
trunk/doc/help/frontend/pictures/message_snapping_options.png
trunk/doc/help/frontend/settings.html
trunk/doc/help/frontend/shape_selection.html
trunk/doc/help/frontend/shortcuts.html
trunk/doc/help/index.html
trunk/doc/help/livelock/livelock.html
trunk/doc/help/localchoice/localchoice.html
trunk/doc/help/membership/membership.html
trunk/doc/help/montecarlo/montecarlo.html
trunk/doc/help/race/race.html
trunk/doc/help/realizability/realizability.html
trunk/doc/help/recursivity/recursivity.html
trunk/doc/help/time_consistency/time_consistency.html
trunk/doc/help/time_syntax/time_syntax.html
trunk/doc/help/time_tighten/time_tighten.html
trunk/doc/help/time_trace_race/time_race.html
trunk/doc/help/unique_instance/unique_instance.html
Modified: trunk/doc/help/acyclic/acyclic.html
===================================================================
--- trunk/doc/help/acyclic/acyclic.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/acyclic/acyclic.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -26,13 +26,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/beautify/beautify.html
===================================================================
--- trunk/doc/help/beautify/beautify.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/beautify/beautify.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/boundedness/boundedness.html
===================================================================
--- trunk/doc/help/boundedness/boundedness.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/boundedness/boundedness.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/deadlock/deadlock.html
===================================================================
--- trunk/doc/help/deadlock/deadlock.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/deadlock/deadlock.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/fifo/fifo.html
===================================================================
--- trunk/doc/help/fifo/fifo.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/fifo/fifo.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/frontend/automatic_drawing.html
===================================================================
--- trunk/doc/help/frontend/automatic_drawing.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/automatic_drawing.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -127,7 +127,7 @@
</h2>
<p>
The first of them is the <code>Add Instances</code> function
- accessible via menu <code>Check → Drawing → Add Instances</code>,
+ accessible via menu <code>SCStudio → Drawing → Add Instances</code>,
or <code>Ctrl+Alt+F</code> keyboard shortcut. It is available in
the context (right-click) menu of the document, too. The function draws a
given number of instances on the active page of the document, with
@@ -147,7 +147,7 @@
drawing will start from the point where the cursor was.
</p>
<p>
- In the Options panel, if the Total width switch is chosen, all the
+ The last two options define spacing between instances. If the Total width switch is chosen, all the
instances will be drawn in the place of a width given, so the gaps between
instances will be calculated to fit this area. On the contrary, the
Spacing switch sets constant gaps between the instances not limiting the
@@ -168,7 +168,7 @@
</p>
<img src="pictures/message_sequence.png" alt="Message Sequence example" />
<p>
- The Message Sequence function is accessible via menu <code>Check →
+ The Message Sequence function is accessible via menu <code>SCStudio →
Drawing → Message Sequence</code>, or <code>Ctrl+Alt+S</code>
keyboard shortcut or <code>Message Sequence</code> context-menu
on instances. As for other automatic drawing functions, an options dialog
Modified: trunk/doc/help/frontend/flip_message_direction.html
===================================================================
--- trunk/doc/help/frontend/flip_message_direction.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/flip_message_direction.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -120,7 +120,7 @@
Direction of the messages already drawn may be flipped.
Such a function is available in the context (right-click) menu of
a message or a set of messages via <code>Flip message direction</code>
- item, as shown in the following picture:
+ item or via shortcut <code>Ctrl+Alt+Backspace</code>, as shown in the following picture:
</p>
<img src="pictures/flip_message_direction.png" alt="Flip message direction function" />
<p>
Modified: trunk/doc/help/frontend/message_numbering.html
===================================================================
--- trunk/doc/help/frontend/message_numbering.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/message_numbering.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
-<title>Message Numbering – SCStudio frontend</title>
+<title>Element Numbering – SCStudio frontend</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
@@ -25,13 +25,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -111,16 +111,16 @@
</div>
</div>
<div class="content">
-<h1>Message Numbering</h1>
-<p>Message numbering allows users to enumerate all types of message shapes (left, right, lost, found).<br>
-You can enumerate all messages on the active page (if no messages are selected) or the selection.<br>
+<h1>Element Numbering</h1>
+<p>Element Numbering allows users to enumerate all types of message shapes (left, right, lost, found), conditions and actions.<br>
+You can enumerate all element on the active page (if no element are selected) or the selection.<br>
</p>
-<h2>Enable message numbering</h2>
-<p>By pressing Message numbering button <img src="pictures/icon_message_enumeration.png" alt="Message Numbering">, via menu <code>Check->Drawing->Message numbering->Message numbering</code> or by using hotkey <Code>Ctrl+Alt+E</Code> the dialog with options will be shown:</p>
+<h2>Enable Element Numbering</h2>
+<p>By pressing Element Numbering button <img src="pictures/icon_message_enumeration.png" alt="Element Numbering">, via menu <code>SCStudio → Drawing → Element Numbering → Add Numbering</code> or by using hotkey <Code>Ctrl+Alt+E</Code> the dialog with options will be shown:</p>
<p>
-<img src="pictures/message_numbering_options.png" alt="Message Numbering options dialog">
+<img src="pictures/message_numbering_options.png" alt="Element Numbering options dialog">
</p>
<p>You can choose:<br>
@@ -130,12 +130,12 @@
</p>
<p>
-When the OK button is pressed, messages are numbered according to their positions on the page from left to right and then from top to bottom.<br>
-Already numbered messages will be overwritten by new numbering.
+When the OK button is pressed, elements are numbered according to their positions on the page from left to right and then from top to bottom.<br>
+Already numbered elements will be overwritten by new numbering.
</p>
-<h2>Disable message numbering</h2>
-<p>Numbering can be deleted by pressing Delete numbering button <img src="pictures/icon_message_enumeration_disable.png" alt="Disable message numbering"> on the toolbar, via menu <code>Check->Drawing->Message numbering->Delete numbering</code> or by using hotkey <Code>Ctrl+Alt+D.</Code></p>
+<h2>Disable Element Numbering</h2>
+<p>Numbering can be deleted by pressing Delete numbering button <img src="pictures/icon_message_enumeration_disable.png" alt="Disable Element Numbering"> on the toolbar, via menu <code>SCStudio → Drawing → Element Numbering → Delete numbering</code> or by using hotkey <Code>Ctrl+Alt+D.</Code></p>
<p>
Using <code>Delete numbering</code> on selection causes other messages indexes will be recomputed. <br>
@@ -150,7 +150,7 @@
</p>
<h2>Auto numbering</h2>
-<p>New messages can be automatically numbered after they are dropped on the page. Specific behavior can be set via menu <code>Check->Drawing->Settings</code>, tab Numbering. Following dialog will be shown:</p>
+<p>New elements can be automatically numbered after they are dropped on the page. Specific behavior can be set via menu <code>SCStudio → Options</code>, section Element Numbering. Following dialog will be shown:</p>
<p>
<img src="pictures/message_numbering_autoenum_options.png" alt="Auto numbering options">
@@ -161,16 +161,16 @@
</p>
<p>
-<code>automatic numbering new messages</code><br>
+<code>automatic numbering new elements</code><br>
- sets whether auto numbering is enabled, otherwise all other options are disabled.<br><br>
-<code>as nearest message</code><br>
+<code>as nearest element</code><br>
- new messages will be numbered according to the group of the closest message on the active page. All message indexes in the current group will be recounted. If the closest message isn't numbered, new one won't be either. <br>
-<code>as nearest numbered message</code><br>
- - new messages will be numbered according to the closest <b>numbered</b> message on the active page. If there are no numbered messages on the active page you can choose between: <br><br>
+<code>as nearest numbered element</code><br>
+ - new elements will be numbered according to the closest <b>numbered</b> element on the active page. If there are no numbered elements on the active page you can choose between: <br><br>
<code>don't number</code><br>
- - don't number new messages if there are no numbered messages on the page.<br>
+ - don't number new elements if there are no numbered elements on the page.<br>
<code>use numbering style</code><br>
- - use specific numbering style if there are no numbered messages on the page.<br>
+ - use specific numbering style if there are no numbered elements on the page.<br>
</p>
</div>
</body>
Modified: trunk/doc/help/frontend/pictures/add_instances_options.png
===================================================================
(Binary files differ)
Modified: trunk/doc/help/frontend/pictures/message_numbering_autoenum_options.png
===================================================================
(Binary files differ)
Modified: trunk/doc/help/frontend/pictures/message_snapping_options.png
===================================================================
(Binary files differ)
Modified: trunk/doc/help/frontend/settings.html
===================================================================
--- trunk/doc/help/frontend/settings.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/settings.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Drawing Settings - SCStudio frontend
+ Settings dialog
</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -113,17 +113,17 @@
</div>
</div>
<div class="content">
- <h1>Drawing Settings</h1>
+ <h1>Options</h1>
<p>
- The SCStudio frontend may be configured via menu
- <code>Check → Drawing → Settings…</code>.
+ The SCStudio may be configured via menu
+ <code>SCStudio → Options…</code>.
Concrete configuration sections are described below.
</p>
- <h2>Message Numbering</h2>
+ <h2>Element Numbering</h2>
<p>
- Message numbering and its configuration is described on a
+ Element numbering and its configuration is described on a
<a href="message_numbering.html">separate page</a>.
</p>
@@ -136,8 +136,8 @@
the mouse position.
</p>
<p>
- Snapping can be enabled via <code>Check -> Drawing -> Settings…</code>,
- tab Snap & Glue. Following dialog will be shown:
+ Snapping can be enabled via <code>SCStudio → Options…</code>,
+ section Message snapping. Following dialog will be shown:
</p>
<p>
<img src="pictures/message_snapping_options.png"
@@ -181,6 +181,13 @@
The option <code>Do not allow to rotate instances</code> may be set to
disable instance rotating.
</p>
+
+ <h2>Beautify</h2>
+ <p>
+ Beautify and its configuration is described on a
+ <a href=".\..\beautify\beautify.html">separate page</a>.
+ </p>
+
</div>
</body>
</html>
Modified: trunk/doc/help/frontend/shape_selection.html
===================================================================
--- trunk/doc/help/frontend/shape_selection.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/shape_selection.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -127,7 +127,7 @@
of active document. The second button <img
src="pictures/icon_select_messages.png" alt="Select messages button" />
selects all messages in the current page of active document. These
- functions are also available via menu <code>Check → Drawing →
+ functions are also available via menu <code>SCStudio → Drawing →
Select → All Instances</code>, or <code>All Messages</code>,
respectively. Keyboard shortcuts are assigned to these functions, too:
<code>Ctrl+Alt+I</code> for selecting all instances and <code>Ctrl+Alt+M</code>
Modified: trunk/doc/help/frontend/shortcuts.html
===================================================================
--- trunk/doc/help/frontend/shortcuts.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/shortcuts.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/index.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="frontend/message_numbering.html">Message numbering</a>
+ <a href="frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="frontend/settings.html">Drawing settings</a>
+ <a href="frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/livelock/livelock.html
===================================================================
--- trunk/doc/help/livelock/livelock.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/livelock/livelock.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/localchoice/localchoice.html
===================================================================
--- trunk/doc/help/localchoice/localchoice.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/localchoice/localchoice.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/membership/membership.html
===================================================================
--- trunk/doc/help/membership/membership.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/membership/membership.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/montecarlo/montecarlo.html
===================================================================
--- trunk/doc/help/montecarlo/montecarlo.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/montecarlo/montecarlo.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/race/race.html
===================================================================
--- trunk/doc/help/race/race.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/race/race.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/realizability/realizability.html
===================================================================
--- trunk/doc/help/realizability/realizability.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/realizability/realizability.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/recursivity/recursivity.html
===================================================================
--- trunk/doc/help/recursivity/recursivity.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/recursivity/recursivity.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/time_consistency/time_consistency.html
===================================================================
--- trunk/doc/help/time_consistency/time_consistency.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/time_consistency/time_consistency.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/time_syntax/time_syntax.html
===================================================================
--- trunk/doc/help/time_syntax/time_syntax.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/time_syntax/time_syntax.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/time_tighten/time_tighten.html
===================================================================
--- trunk/doc/help/time_tighten/time_tighten.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/time_tighten/time_tighten.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/time_trace_race/time_race.html
===================================================================
--- trunk/doc/help/time_trace_race/time_race.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/time_trace_race/time_race.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -26,13 +26,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/unique_instance/unique_instance.html
===================================================================
--- trunk/doc/help/unique_instance/unique_instance.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/unique_instance/unique_instance.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|