Juliano Cardoso / circusRefine

undo-redo.html 2.52 KB
edit raw blame history 
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
<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">
        Undo/Redo Development Steps
      </td>
    </tr>
    <tr>
      <td class="grande">
               <div align="justify"> 
               During a refinement, the user may have done some errors: a wrong refinement step, 
               an inadequate commentary insertion, or wrong proof obligation marking. CRefine offers the choice
               to undo the updates done to the development. For that, we must choose the Undo option in the Edit menu, or click on the 
               <img border =
                "0" src="../../../images/undo.gif" align="center"> button.

                <br>
                <br>
                <img border = "0" src="../images/undo.jpg" align="center">
                <br>
                <br>

                Depending on the step that has been undone, any of the windows may be updated.
                It may also change the terms that can be collected.

                <br>
                <br>
                <img border = "0" src="../images/undo2.jpg" align="center">
                <br>
                <br>

                CRefine also allows steps of loaded development to be undone/redone. This helps
                users to go back in previous developments, helping them to understand each one of the 
                refinement steps. Analogously, we may select Redo from the Edit menu in order to redo some undone refinement steps.
                The button <img border =
                "0" src="../../../images/redo.gif" align="center"> may be selected for that matter.

                <br>
                <br>
                <img border = "0" src="../images/redo.jpg" align="center">
                <br>
                <br>
                
                The redo functionality yields the same updates as its original action. Hence, the GUI windows can be updated, as 
                well as the terms for collection. 
                
                <br>
                <br>
                <img border = "0" src="../images/redo2.jpg" align="center">
                <br>
                <br>

                After doing any other action after undoing a previous action, the previous action cannot be redone anymore.
               </div>
      </td>
    </tr>
</table>


</body>

</html>