6aaf7a1e75
git-svn-id: http://svn.berlios.de/svnroot/repos/oolite-linux/trunk@2331 127b21dd-08f5-0310-b4b7-95ae10353056
135 lines
2.4 KiB
Plaintext
135 lines
2.4 KiB
Plaintext
/*
|
|
Schema for hud.plist.
|
|
*/
|
|
|
|
{
|
|
type = dictionary;
|
|
schema =
|
|
{
|
|
"dials" =
|
|
{
|
|
type = array;
|
|
valueType =
|
|
{
|
|
type = dictionary;
|
|
schema =
|
|
{
|
|
// Not all values apply to all types of dial.
|
|
"alpha" = $floatZeroToTwo;
|
|
"equipment_required" = $equipmentKey;
|
|
"selector" = $oneParamSelector;
|
|
"x" = integer;
|
|
"y" = integer;
|
|
"width" = positiveFloat;
|
|
"height" = positiveFloat;
|
|
"rgb_color" = $simpleRGBColor;
|
|
"color" = $colourSpecifier; // Alternative to rgb_color as of 1.70
|
|
"draw_surround" = boolean;
|
|
"labelled" = boolean;
|
|
"spacing" = positiveInteger;
|
|
"n_bars" = positiveInteger;
|
|
|
|
// These are for use with the resizeGuis: selector, which isn't actually useful at this time.
|
|
"message_gui" = $guiParameters;
|
|
"comm_log_gui" = $guiParameters;
|
|
};
|
|
allowOthers = NO;
|
|
requiredKeys = ( "selector" );
|
|
};
|
|
};
|
|
legends =
|
|
{
|
|
type = array;
|
|
valueType =
|
|
{
|
|
type = dictionary;
|
|
schema =
|
|
{
|
|
"text" = string;
|
|
"x" = integer;
|
|
"y" = integer;
|
|
"width" = positiveFloat;
|
|
"height" = positiveFloat;
|
|
"image" = $imageFileName;
|
|
};
|
|
allowOthers = NO;
|
|
};
|
|
allowOthers = NO;
|
|
};
|
|
};
|
|
allowOthers = NO;
|
|
$definitions =
|
|
{
|
|
$equipmentKey =
|
|
{
|
|
type = string;
|
|
requiredPrefix = "EQ_";
|
|
};
|
|
$oneParamSelector =
|
|
{
|
|
type = delegatedType;
|
|
key = oneParamSelector;
|
|
baseType =
|
|
{
|
|
type = string;
|
|
requiredSuffix = ":";
|
|
};
|
|
};
|
|
$floatZeroToOne =
|
|
{
|
|
type = positiveFloat;
|
|
maximum = 1;
|
|
};
|
|
$floatZeroToTwo =
|
|
{
|
|
// Alpha can reasonably be two for aegis, since it's scaled by 0.5.
|
|
type = positiveFloat;
|
|
maximum = 2;
|
|
};
|
|
$simpleRGBColor =
|
|
{
|
|
type = array;
|
|
valueType = $floatZeroToOne;
|
|
minCount = 3;
|
|
maxCount = 3;
|
|
};
|
|
$colorSpecifier =
|
|
{
|
|
type = delegatedType;
|
|
baseType =
|
|
{
|
|
type = oneOf;
|
|
options =
|
|
(
|
|
array,
|
|
dictionary,
|
|
string
|
|
);
|
|
};
|
|
key = colorSpecifier;
|
|
};
|
|
$imageFileName =
|
|
{
|
|
type = delegatedType;
|
|
baseType = string;
|
|
key = imageFileName;
|
|
};
|
|
$guiParameters =
|
|
{
|
|
type = dictionary;
|
|
schema =
|
|
{
|
|
"x" = integer;
|
|
"y" = integer;
|
|
"width" = positiveFloat;
|
|
"height" = positiveFloat;
|
|
"row_height" = positiveInteger;
|
|
"alpha" = $floatZeroToOne;
|
|
"background_rgba" = string;
|
|
"title" = string;
|
|
};
|
|
allowOthers = NO;
|
|
};
|
|
};
|
|
}
|