public class ModelBitDisplay extends ModelComponent
{
private static final double width = 20;
- private static final double height = 15;
+ private static final double height = 10;
private static final double fontHeight = 5;
public final int logicWidth;
if (foreground != null)
gc.setForeground(foreground);
gc.drawRectangle(getBounds());
- String label = bitDisplay == null ? BitVectorFormatter.formatAsString(null)
- : BitVectorFormatter.formatAsString(bitDisplay.getDisplayedValue());
+ String label = BitVectorFormatter.formatAsString(bitDisplay == null ? null : bitDisplay.getDisplayedValue(), true);
Font oldFont = gc.getFont();
Font labelFont = new Font(oldFont.getName(), fontHeight, oldFont.getStyle());
gc.setFont(labelFont);