{
switch (name)
{
- case IMPROVE_TEXT:
+ case IMPROVE_SCALING:
return true;
case DEBUG_OPEN_HLSSHELL:
return false;
{
switch (name)
{
+ case LINE_DASH_IMPROVEMENT_FACTOR:
+ return 100.0;
case DEFAULT_LINE_WIDTH:
return 0.5;
case WIRE_WIDTH_SINGLEBIT:
}
}
+ @Override
+ public String getString(String name)
+ {
+ switch (name)
+ {
+ case BIT_ZERO_DASH:
+ return "10, 2.5";
+ case BIT_Z_DASH:
+ return "10, 0.25, 0.25, 1.5, 0.25, 0.25";
+ case BIT_X_DASH:
+ return "10, 0.25, 0.25, 0.25, 0.25, 0.5, 0.25, 0.25, 0.25, 0.25";
+ case BIT_U_DASH:
+ return "10, 0.25, 0.25, 0.25, 1, 0.25, 0.25, 0.25";
+ case BIT_ONE_DASH:
+ return "10, 0.5, 1.5, 0.5";
+ default:
+ throw new IllegalArgumentException("Unknown string preference name: " + name);
+ }
+ }
+
@Override
public ColorDefinition getColorDefinition(String name)
{