|
@@ -732,6 +732,8 @@ public class GUI implements CategoryListener {
|
|
|
|
|
|
try {
|
|
try {
|
|
controller.loadFile(file.getAbsolutePath());
|
|
controller.loadFile(file.getAbsolutePath());
|
|
|
|
+ canvas.repaint();
|
|
|
|
+ tree.repaint();
|
|
} catch (IOException e) {
|
|
} catch (IOException e) {
|
|
// TODO Auto-generated catch block
|
|
// TODO Auto-generated catch block
|
|
e.printStackTrace();
|
|
e.printStackTrace();
|