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

wire values are green now

Browse Source
This commit is contained in:
hneemann 2016-12-19 16:39:31 +01:00
parent ff715f5c62
commit baae6e66d4
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/de/neemann/digital/draw/elements/Wire.java
View File

@ -14,7 +14,7 @@ import java.util.Collection;
* @author hneemann
*/
public class Wire implements Drawable, Moveable {
private static final int MIN_LABEL_LEN = 100;
private static final int MIN_LABEL_LEN = 80;
/**
* The first endpoint of the line
*/
@ -60,7 +60,7 @@ public class Wire implements Drawable, Moveable {
if (value != null && p1.y == p2.y && Math.abs(p1.x - p2.x) > MIN_LABEL_LEN && value.getBits() > 1) {
Vector pos = p1.add(p2).div(2).add(0, -3);
graphic.drawText(pos, pos.add(1, 0), value.getValueString(), de.neemann.digital.draw.graphics.Orientation.CENTERBOTTOM, Style.SHAPE_PIN);
graphic.drawText(pos, pos.add(1, 0), value.getValueString(), de.neemann.digital.draw.graphics.Orientation.CENTERBOTTOM, Style.WIRE_VALUE);
}
if (p1Dot || p2Dot) {

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

@ -63,6 +63,10 @@ public class Style {
* Used to draw the pin description text
*/
public static final Style SHAPE_PIN = new Style(LINETHICK, false, Color.GRAY, 18, null);
/**
* Used to draw the pin description text
*/
public static final Style WIRE_VALUE = new Style(LINETHICK, false, new Color(50, 162, 50), 18, null);
/**
* highlight color used for the circles to mark an element
*/