| <frame> | := | OS_FRAME ident '[' <number> ',' <number> ']' '{' <framestlist> '}' |
| | ; | |
| <framestlist> | := | <framest> <framestlist> |
| | ; | |
| <framest> | := | OS_BORDERCOLOR <number> ';' |
| | | | OS_BORDERWIDTH <number> ';' |
| | | | OS_BORDERMAP <number> ';' |
| | | | OS_BORDERTYPE <number> ';' |
| | | | OS_TLCOLOR <number> ';' |
| | | | OS_BGCOLOR <number> ';' |
| | | | OS_LINEHEIGHT <number> ';' |
| | | | OS_TITLE <number> ';' |
| | | | OS_TITLEPOS <number> ';' |
| | | | OS_TALIGN <number> ';' |
| | | | OS_MFIELDLIST '{' <positionfieldlist> '}' |
| | ; | |
| <updateframe> | := | OS_UPDATEFRAME ident '[' <number> ',' <number> ']' '{' <framestlist> '}' |
| | ; | |
| <positionfieldlist> | := | <addormove> ident '[' <number> ',' <number> ']' ';' |
| | | | OS_DELETE ident ';' |
| <addormove> | := | OS_ADD |
| | | | OS_MOVE |
| | ; | |