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

added small switch icons to the fet shapes

Browse Source
This commit is contained in:
hneemann 2017-02-24 08:46:05 +01:00
parent aa6cefabed
commit 48d566fdc4
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/de/neemann/digital/draw/graphics/Style.java
View File

@ -66,7 +66,7 @@ public class Style {
/** /**
* Used to draw the pin description text * Used to draw the pin description text
*/ */
public static final Style SHAPE_PIN = new Style(LINETHICK, false, Color.GRAY, 18, null); public static final Style SHAPE_PIN = new Style(LINETHIN, false, Color.GRAY, 18, null);
/** /**
* Used to draw the pin description text * Used to draw the pin description text
*/ */

6
src/main/java/de/neemann/digital/draw/shapes/NFETShape.java
View File

@ -96,13 +96,13 @@ public class NFETShape implements Shape {
public static void drawSwitch(Graphic graphic, Relay fet) { public static void drawSwitch(Graphic graphic, Relay fet) {
boolean closed = fet.isClosed(); boolean closed = fet.isClosed();
if (closed) { if (closed) {
graphic.drawLine(new Vector(SIZE + SIZE2, 0), new Vector(SIZE + SIZE2, SIZE), Style.THIN); graphic.drawLine(new Vector(SIZE + SIZE2, 0), new Vector(SIZE + SIZE2, SIZE), Style.SHAPE_PIN);
} else { } else {
graphic.drawLine(new Vector(SIZE + SIZE2, 0), new Vector(SIZE + SIZE2, SIZE2 / 2), Style.THIN); graphic.drawLine(new Vector(SIZE + SIZE2, 0), new Vector(SIZE + SIZE2, SIZE2 / 2), Style.SHAPE_PIN);
graphic.drawPolygon(new Polygon(false) graphic.drawPolygon(new Polygon(false)
.add(SIZE + SIZE2 / 2, SIZE2 / 2) .add(SIZE + SIZE2 / 2, SIZE2 / 2)
.add(SIZE + SIZE2, SIZE - SIZE2 / 2) .add(SIZE + SIZE2, SIZE - SIZE2 / 2)
.add(SIZE + SIZE2, SIZE), Style.THIN); .add(SIZE + SIZE2, SIZE), Style.SHAPE_PIN);
} }
} }