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

fixed "wide gate" handling in TreeView; closes #194

Browse Source
This commit is contained in:
hneemann 2018-10-02 20:16:32 +02:00
parent 4c4e52fca2
commit 0ff6d0ef37
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/main/java/de/neemann/digital/gui/components/tree/SelectTree.java
View File

@ -6,11 +6,13 @@
package de.neemann.digital.gui.components.tree; package de.neemann.digital.gui.components.tree;
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.draw.elements.VisualElement; import de.neemann.digital.draw.elements.VisualElement;
import de.neemann.digital.draw.library.LibraryNode; import de.neemann.digital.draw.library.LibraryNode;
import de.neemann.digital.draw.shapes.ShapeFactory; import de.neemann.digital.draw.shapes.ShapeFactory;
import de.neemann.digital.gui.InsertAction; import de.neemann.digital.gui.InsertAction;
import de.neemann.digital.gui.InsertHistory; import de.neemann.digital.gui.InsertHistory;
import de.neemann.digital.gui.Settings;
import de.neemann.digital.gui.components.CircuitComponent; import de.neemann.digital.gui.components.CircuitComponent;
import de.neemann.digital.lang.Lang; import de.neemann.digital.lang.Lang;
import de.neemann.gui.ErrorMessage; import de.neemann.gui.ErrorMessage;
@ -51,7 +53,18 @@ public class SelectTree extends JTree {
if (node.isLeaf() && node.isUnique()) { if (node.isLeaf() && node.isUnique()) {
try { try {
ElementTypeDescription d = node.getDescription(); ElementTypeDescription d = node.getDescription();
component.setPartToInsert(new VisualElement(d.getName()).setShapeFactory(shapeFactory)); final VisualElement element = new VisualElement(d.getName()).setShapeFactory(shapeFactory);
// set the wide shape option to the new element
try {
if (Settings.getInstance().get(Keys.SETTINGS_USE_WIDE_SHAPES)
&& node.getDescription().hasAttribute(Keys.WIDE_SHAPE))
element.setAttribute(Keys.WIDE_SHAPE, true);
} catch (IOException e1) {
// do nothing on error
}
component.setPartToInsert(element);
insertHistory.add(new InsertAction(node, insertHistory, component, shapeFactory)); insertHistory.add(new InsertAction(node, insertHistory, component, shapeFactory));
} catch (IOException e) { } catch (IOException e) {
SwingUtilities.invokeLater(new ErrorMessage(Lang.get("msg_errorImportingModel_N0", node.getName())).addCause(e)); SwingUtilities.invokeLater(new ErrorMessage(Lang.get("msg_errorImportingModel_N0", node.getName())).addCause(e));