<html>
<head>
<title>CRefine</title>
<link rel="stylesheet" type="text/css" href="../../style.css" />
</head>
<body>
<table>
<tr height="10">
<td>
</td>
</tr>
<tr>
<td class="tituloAzul">
Comments
</td>
</tr>
<tr>
<td class="grande" width="500">
<br>
<div align="justify">
Throughout the development, the user can make comments. CRefine allow users to comment terms and law applications.
These operations are done on the development window using its pop-up menu. If the selected term or law application
does not have any associated comment, the only enabled option will be the insertion one. Otherwise, the options
of removing comment, editing comment, and visualising comments will also be enabled.
<br>
<br>
<img border = "0" src="../images/comments2.jpg" align="center">
<br>
<br>
In the comments insertion, a small dialog box will be displayed. The user must type his
comments. For comments edition and visualisation, the same window will be displayed containing the previous comment.
Comments insertion and deletion can be undone/redone, but the edition only modifies the stores comment. That means
comment editions do not alter the history of action done; hence, it cannot be undone/redone.
<br>
<br>
<img border = "0" src="../images/comment.jpg" align="center">
<br>
<br>
After inserting a comment, a comment identifier is included in the development window at the first line of the
term to which the comment has be included, or to the law application line. These identifiers are prefixed with a "C"; a roman number
completes the identifier.
<br>
<br>
<img border = "0" src="../images/comments.jpg" align="center">
<br>
<br>
</div>
</td>
</tr>
</table>
</body>
</html>