()
| 54 | function undo() {} |
| 55 | |
| 56 | function up() { |
| 57 | switch (n--) { |
| 58 | case 0: |
| 59 | n = 0; |
| 60 | return; |
| 61 | case history.length: |
| 62 | text = mirror.getLine(line).slice(ch); |
| 63 | } |
| 64 | |
| 65 | mirror.setLine(line, history[n]); |
| 66 | } |
| 67 | |
| 68 | function down() { |
| 69 | switch (n++) { |