public class ModelManualSwitch 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;
private static final double heightMiniButtons = 4; // 0 is disabled
if (foreground != null)
gc.setForeground(foreground);
gc.drawRectangle(getBounds());
- String label = BitVectorFormatter.formatAsString(manualSwitch == null ? null : getOutValues());
+ String label = BitVectorFormatter.formatAsString(manualSwitch == null ? null : getOutValues(), false);
Font oldFont = gc.getFont();
Font labelFont = new Font(oldFont.getName(), fontHeight, oldFont.getStyle());
gc.setFont(labelFont);