Blame view

circus/help/en_uk/development/undo-redo.html 2.52 KB
8d0dc533f   Madiel de Souza Conserva Filho   first
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
75
76
  <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>