From 21d5ab6a05b2bd6e0862e13f5b291ab45a3b69da Mon Sep 17 00:00:00 2001 From: hneemann Date: Sun, 31 May 2020 10:22:59 +0200 Subject: [PATCH] uses the small shape for the NOT gate also in IEEE shape mode; closes #469 --- .../java/de/neemann/digital/draw/library/LibraryNode.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/main/java/de/neemann/digital/draw/library/LibraryNode.java b/src/main/java/de/neemann/digital/draw/library/LibraryNode.java index 66eeea02d..11595be08 100644 --- a/src/main/java/de/neemann/digital/draw/library/LibraryNode.java +++ b/src/main/java/de/neemann/digital/draw/library/LibraryNode.java @@ -5,6 +5,7 @@ */ package de.neemann.digital.draw.library; +import de.neemann.digital.core.basic.Not; import de.neemann.digital.core.element.ElementAttributes; import de.neemann.digital.core.element.ElementTypeDescription; import de.neemann.digital.core.element.Keys; @@ -306,7 +307,8 @@ public class LibraryNode implements Iterable { // set the wide shape option to the element try { if (Settings.getInstance().get(Keys.SETTINGS_IEEE_SHAPES) - && getDescription().hasAttribute(Keys.WIDE_SHAPE)) + && getDescription().hasAttribute(Keys.WIDE_SHAPE) + && !visualElement.equalsDescription(Not.DESCRIPTION)) visualElement.setAttribute(Keys.WIDE_SHAPE, true); } catch (IOException e1) { // do nothing on error