gui enhancements

This commit is contained in:
Jindra Petk
2013-04-20 18:51:45 +02:00
parent 2b34d90738
commit ba0ee6fd60
4 changed files with 16 additions and 2 deletions

View File

@@ -1095,7 +1095,7 @@ public class Graph {
} else {
ex = new NotItem(null, ex);
}
if (!finalCommands.isEmpty()) {
if ((finalCommands != null) && (!finalCommands.isEmpty())) {
tr.addAll(finalCommands);
}
tr.add(ex);