{
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)
+ {
+ default:
+ throw new IllegalArgumentException("Unknown string preference name: " + name);
+ }
+ }
+
@Override
public ColorDefinition getColorDefinition(String name)
{