From 68ff8c506a3dabe0153153b9683602ac6ff711b1 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Sun, 10 Apr 2016 16:21:51 +0200
Subject: [PATCH] fixed a NullPointerException

---
 .../de/neemann/digital/gui/components/CircuitComponent.java    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java b/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java
index 0eb58965b..6d18af7d7 100644
--- a/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java
+++ b/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java
@@ -169,7 +169,8 @@ public class CircuitComponent extends JComponent {
      * @param drawables the list of drawables
      */
     public void addHighLighted(Collection<? extends Drawable> drawables) {
-        highLighted.addAll(drawables);
+        if (drawables != null)
+            highLighted.addAll(drawables);
     }
 
     /**