TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-13 14:56:29 -04:00
Code Issues Packages Projects Releases Wiki Activity

uses the small shape for the NOT gate also in IEEE shape mode; closes #469

Browse Source
This commit is contained in:
hneemann 2020-05-31 10:22:59 +02:00
parent beb78d509f
commit 21d5ab6a05
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/de/neemann/digital/draw/library/LibraryNode.java
View File

@ -5,6 +5,7 @@
*/ */
package de.neemann.digital.draw.library; 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.ElementAttributes;
import de.neemann.digital.core.element.ElementTypeDescription; import de.neemann.digital.core.element.ElementTypeDescription;
import de.neemann.digital.core.element.Keys; import de.neemann.digital.core.element.Keys;
@ -306,7 +307,8 @@ public class LibraryNode implements Iterable<LibraryNode> {
// set the wide shape option to the element // set the wide shape option to the element
try { try {
if (Settings.getInstance().get(Keys.SETTINGS_IEEE_SHAPES) 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); visualElement.setAttribute(Keys.WIDE_SHAPE, true);
} catch (IOException e1) { } catch (IOException e1) {
// do nothing on error // do nothing on error