| OLD | NEW |
| 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 import fletch.*; | 5 import dartino.*; |
| 6 | 6 |
| 7 import java.io.BufferedReader; | 7 import java.io.BufferedReader; |
| 8 import java.io.IOException; | 8 import java.io.IOException; |
| 9 import java.io.InputStreamReader; | 9 import java.io.InputStreamReader; |
| 10 | 10 |
| 11 import java.lang.NumberFormatException; | 11 import java.lang.NumberFormatException; |
| 12 | 12 |
| 13 class TodoView { | 13 class TodoView { |
| 14 public TodoView() { } | 14 public TodoView() { } |
| 15 | 15 |
| (...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 89 System.out.print("[d] Enter id: "); | 89 System.out.print("[d] Enter id: "); |
| 90 String idString = readLine(); | 90 String idString = readLine(); |
| 91 try { | 91 try { |
| 92 int id = Integer.parseInt(idString); | 92 int id = Integer.parseInt(idString); |
| 93 TodoService.deleteItem(id); | 93 TodoService.deleteItem(id); |
| 94 } catch (NumberFormatException exception) { | 94 } catch (NumberFormatException exception) { |
| 95 // Ignore bad input. | 95 // Ignore bad input. |
| 96 } | 96 } |
| 97 } | 97 } |
| 98 } | 98 } |
| OLD | NEW |