version 1.12, 1997/03/26 14:43:20
|
version 1.13, 1997/03/28 19:21:31
|
Line 12
|
Line 12
|
|
|
<H4>Translated from French by Ethan Munson</H4> |
<H4>Translated from French by Ethan Munson</H4> |
|
|
<H4>Version of March 26, 1997</H4> |
<H4>Version of March 28, 1997</H4> |
|
|
<P>© 1996 INRIA |
<P>© 1996 INRIA |
|
|
Line 144
|
Line 144
|
<LI><SMALL><A href="#sectd42253">Underlining</A></SMALL> |
<LI><SMALL><A href="#sectd42253">Underlining</A></SMALL> |
</UL> |
</UL> |
<LI><A href="#sectc4226">Stacking order</A> |
<LI><A href="#sectc4226">Stacking order</A> |
<LI><A href="#sectc4227">Line Style</A> |
<LI><A href="#sectc4227">Line style</A> |
<LI><A href="#sectc4228">Line thickness</A> |
<LI><A href="#sectc4228">Line thickness</A> |
<LI><A href="#sectc4229">Fill pattern</A> |
<LI><A href="#sectc4229">Fill pattern</A> |
<LI><A href="#sectc4230">Colors</A> |
<LI><A href="#sectc4230">Colors</A> |
|
<LI><A href="#sectc4230a">Background color and border</A> |
|
<LI><A href="#sectc4230b">Background pictures</A> |
<LI><A href="#sectc4231">Presentation box content</A> |
<LI><A href="#sectc4231">Presentation box content</A> |
<LI><A href="#sectc4232">Presentation box creation</A> |
<LI><A href="#sectc4232">Presentation box creation</A> |
<LI><A href="#sectc4233">Page layout</A> |
<LI><A href="#sectc4233">Page layout</A> |
Line 1978 exceptions are indicated by a name. The
|
Line 1980 exceptions are indicated by a name. The
|
ExcValue ='NoCut' / 'NoCreate' / |
ExcValue ='NoCut' / 'NoCreate' / |
'NoHMove' / 'NoVMove' / 'NoMove' / |
'NoHMove' / 'NoVMove' / 'NoMove' / |
'NoHResize' / 'NoVResize' / 'NoResize' / |
'NoHResize' / 'NoVResize' / 'NoResize' / |
|
'MoveResize' / |
'NewWidth' / 'NewHeight' / |
'NewWidth' / 'NewHeight' / |
'NewHPos' / 'NewVPos' / |
'NewHPos' / 'NewVPos' / |
'Invisible' / 'NoSelect' / |
'Invisible' / 'NoSelect' / |
Line 1992 The following are the available exceptio
|
Line 1995 The following are the available exceptio
|
<DL> |
<DL> |
<DT><TT>NoCut</TT></DT> |
<DT><TT>NoCut</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
which this exception is applied cannot be destroyed by the editor. |
which this exception is applied cannot be deleted by the editor. |
</DD> |
</DD> |
<DT><TT>NoCreate</TT></DT> |
<DT><TT>NoCreate</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
which this exception is applied cannot be created by ordinary commands for |
which this exception is applied cannot be created by ordinary commands for |
creating new elements. These elements are usually created by special actions |
creating new elements. These elements are usually created by special actions |
associated with otherexceptions. |
associated with other exceptions. |
</DD> |
</DD> |
<DT><TT>NoHMove</TT></DT> |
<DT><TT>NoHMove</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
which this exception is applied cannot be moved horizontally with the mouse. |
which this exception is applied cannot be moved horizontally with the |
|
mouse. Their children elements cannot be moved either. |
</DD> |
</DD> |
<DT><TT>NoVMove</TT></DT> |
<DT><TT>NoVMove</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
which this exception is applied cannot be moved vertically with the mouse. |
which this exception is applied cannot be moved vertically with the |
|
mouse. Their children elements cannot be moved either. |
</DD> |
</DD> |
<DT><TT>NoMove</TT></DT> |
<DT><TT>NoMove</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
which this exception is applied cannot be moved in any direction with the |
which this exception is applied cannot be moved in any direction with the |
mouse. |
mouse. Their children elements cannot be moved either. |
</DD> |
</DD> |
<DT><TT>NoHResize</TT></DT> |
<DT><TT>NoHResize</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
which this exception is applied cannot be resized horizontally with the mouse. |
which this exception is applied cannot be resized horizontally with the |
|
mouse. Their children elements cannot be resized either. |
</DD> |
</DD> |
<DT><TT>NoVResize</TT></DT> |
<DT><TT>NoVResize</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
which this exception is applied cannot be resized vertically with the mouse. |
which this exception is applied cannot be resized vertically with the |
|
mouse. Their children elements cannot be resized either. |
</DD> |
</DD> |
<DT><TT>NoResize</TT></DT> |
<DT><TT>NoResize</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
which this exception is applied cannot be resized in any direction with the |
which this exception is applied cannot be resized in any direction with the |
mouse. |
mouse. Their children elements cannot be resized either. |
|
</DD> |
|
<DT><TT>MoveResize</TT></DT> |
|
<DD>This exception can only be applied to element types. Elements of a type to |
|
which this exception is applied can be moved and resized in any direction |
|
with the mouse, even if one of their ancestor element has an exception that |
|
prevents moving or resizing. Their children elements can also be resized or |
|
moved. |
</DD> |
</DD> |
<DT><TT>NoSelect</TT></DT> |
<DT><TT>NoSelect</TT></DT> |
<DD>This exception can only be applied to element types. Elements of a type to |
<DD>This exception can only be applied to element types. Elements of a type to |
Line 2450 well as for the objects which they conta
|
Line 2464 well as for the objects which they conta
|
<P> |
<P> |
Corresponding to each element of the document is a box, which is the |
Corresponding to each element of the document is a box, which is the |
rectangle enclosing the element on the display device (screen or sheet of |
rectangle enclosing the element on the display device (screen or sheet of |
paper); the outline of this rectangle is normally not visible. The sides of |
paper); the outline of this rectangle is not visible, except when a |
|
<A href="#sectc4230a"><TT>ShowBox</TT> rule</A> applies to the element. The |
|
sides of |
the box are parallel to the sides of the screen or the sheet of paper. By way |
the box are parallel to the sides of the screen or the sheet of paper. By way |
of example, a box is associated with a character string, a line of text, a |
of example, a box is associated with a character string, a line of text, a |
page, a paragraph, a title, a mathematical formula, or a table cell.</P> |
page, a paragraph, a title, a mathematical formula, or a table cell.</P> |
Line 4144 are displayed or printed,
|
Line 4160 are displayed or printed,
|
<LI>for presentation boxes only, the contents of the box. |
<LI>for presentation boxes only, the contents of the box. |
</UL> |
</UL> |
<P> |
<P> |
The <A name="presfunct">presentation functions</A>are:</P> |
The <A name="presfunct">presentation functions</A> are:</P> |
<UL> |
<UL> |
<LI>the creation of a presentation box |
<LI>the creation of a presentation box |
<LI>the line-breaking or page-breaking style, |
<LI>the line-breaking or page-breaking style, |
<LI>the copying of another box. |
<LI>the copying of another box, |
|
<LI>the display of the box background and border, |
|
<LI>the display of a background picture and its aspect. |
</UL> |
</UL> |
<P> |
<P> |
For each box and each view, every presentation parameter is defined once and |
For each box and each view, every presentation parameter is defined once and |
Line 4159 many presentation boxes. Another elemen
|
Line 4177 many presentation boxes. Another elemen
|
functions.</P> |
functions.</P> |
<P> |
<P> |
Each rule defining a presentation parameter begins with a keyword followed by |
Each rule defining a presentation parameter begins with a keyword followed by |
a colon. the keyword indicates the parameter which is the subject of the rule. |
a colon. The keyword indicates the parameter which is the subject of the rule. |
After the keyword and the colon, the remainder of the rule varies. All rules |
After the keyword and the colon, the remainder of the rule varies. All rules |
are terminated by a semicolon.</P> |
are terminated by a semicolon.</P> |
<PRE> |
<PRE> |
Line 4194 are terminated by a semicolon.</P>
|
Line 4212 are terminated by a semicolon.</P>
|
'LineWeight' ':' DistanceInherit / |
'LineWeight' ':' DistanceInherit / |
'FillPattern' ':' NameInherit / |
'FillPattern' ':' NameInherit / |
'Background' ':' NameInherit / |
'Background' ':' NameInherit / |
'Foreground' ':' NameInherit . |
'Foreground' ':' NameInherit / |
'Content' ':' VarConst . |
'Content' ':' VarConst . |
PresFunc = Creation '(' BoxID ')' / |
PresFunc = Creation '(' BoxID ')' / |
'Line' / |
'Line' / |
'NoLine' / |
'NoLine' / |
'Page' '(' BoxID ')' / |
'Page' '(' BoxID ')' / |
'Copy' '(' BoxTypeToCopy ')' . |
'Copy' '(' BoxTypeToCopy ')' / |
|
'ShowBox' / |
|
'BackgroundPicture' ':' FileName / |
|
'PictureMode' ':' PictMode / |
</PRE> |
</PRE> |
</DIV> |
</DIV> |
|
|
Line 5550 the reverse).</P>
|
Line 5571 the reverse).</P>
|
</DIV> |
</DIV> |
|
|
<DIV class="subsection"> |
<DIV class="subsection"> |
<H3><A name=sectc4227>Line Style</A></H3> |
<H3><A name=sectc4227>Line style</A></H3> |
|
|
<P> |
<P> |
The <TT>LineStyle</TT> rule determines the style of line which should be used |
The <TT>LineStyle</TT> rule determines the style of line which should be used |
to draw all the elements contained in the box. The line style can be |
to draw all the elements contained in the box and the box itself, if it has |
|
a <A href="#sectc4230a"><TT>ShowBox</TT> rule</A>. The line style can be |
indicated by a name (<TT>Solid</TT>, <TT>Dashed</TT>, <TT>Dotted</TT>) or it |
indicated by a name (<TT>Solid</TT>, <TT>Dashed</TT>, <TT>Dotted</TT>) or it |
can be inherited. Only elements of the graphic base type are affected by this |
can be inherited. All elements of the graphic base type are affected by this |
rule, but it can be attached to any box and transmitted by inheritance to the |
rule, but it can be attached to any box and transmitted by inheritance to the |
graphic elements.</P> |
graphic elements. The border of elements having a |
<P> |
<A href="#sectc4230a"><TT>ShowBox</TT> rule</A> |
|
is drawn according to the line style specified by this rule.<P> |
Only identical inheritance is allowed: the box takes the same line style as |
Only identical inheritance is allowed: the box takes the same line style as |
the box from which it inherits. This is indicated by an equals sign after the |
the box from which it inherits. This is indicated by an equals sign after the |
kinship specification.</P> |
kinship specification.</P> |
Line 5601 in the same way as <A href="#sectd42221"
|
Line 5624 in the same way as <A href="#sectd42221"
|
'LineWeight' ':' DistOrInherit |
'LineWeight' ':' DistOrInherit |
</PRE> |
</PRE> |
<P> |
<P> |
Only elements of the graphic base type are affected by this rule, but it can |
All elements of the graphic base type are affected by this rule, but it can |
be attached to any box and transmitted by inheritance to the graphic |
be attached to any box and transmitted by inheritance to the graphic |
elements.</P> |
elements. The border of element having a <A href="#sectc4230a"><TT>ShowBox</TT> |
|
rule</A> is also drawn according to the thickness specified by this rule.</P> |
<BLOCKQUOTE class="example"> |
<BLOCKQUOTE class="example"> |
<P> |
<P> |
<STRONG>Example:</STRONG></P> |
<STRONG>Example:</STRONG></P> |
Line 5628 and the elements composing figures are g
|
Line 5652 and the elements composing figures are g
|
<P> |
<P> |
The <TT>FillPattern</TT> rule determines the pattern used to fill closed |
The <TT>FillPattern</TT> rule determines the pattern used to fill closed |
graphical elements (circles, rectangles, etc.) which appear in the box. This |
graphical elements (circles, rectangles, etc.) which appear in the box. This |
|
rule also specifies the pattern used to fill the box associated with |
|
elements having a <A href="#sectc4230a"><TT>ShowBox</TT> rule<A>. This |
pattern can be indicated by a named constant or by inheritance. The named |
pattern can be indicated by a named constant or by inheritance. The named |
constant identifies one of the patterns available in Thot. The names of the |
constant identifies one of the patterns available in Thot. The names of the |
available patterns are: nopattern, foregroundcolor, backgroundcolor, gray1, |
available patterns are: nopattern, foregroundcolor, backgroundcolor, gray1, |
Line 5679 and the elements composing figures are g
|
Line 5705 and the elements composing figures are g
|
|
|
<P> |
<P> |
The <TT>Foreground</TT> and <TT>Background</TT> rules determine the foreground |
The <TT>Foreground</TT> and <TT>Background</TT> rules determine the foreground |
and background colors of the base elements which appear in the box. These |
and background colors of the base elements which appear in the box. They also |
colors cancan be specified with a named constant or by inheritance. The named |
control the color of boxes associated with elements having a |
|
<A href="#sectc4230a"><TT>ShowBox</TT> rule</A>. These |
|
colors can be specified with a named constant or by inheritance. The named |
constants specify one of the available colors in Thot. The available color |
constants specify one of the available colors in Thot. The available color |
names can be found in the file <TT>thot.color</TT>.</P> |
names can be found in the file <TT>thot.color</TT>.</P> |
<P> |
<P> |
In contrast to the preceding rules, the color rules affect all base elements |
The color rules affect the same way all base elements and elements having a |
the same way, no matter what their type (text, graphics, pictures, symbols), |
<A href="#sectc4230a"><TT>ShowBox</TT> rule</A>, |
but they only affect base elements. The color rules can nevertheless be |
no matter what their type (text, graphics, pictures, |
associated with any box and can be transmitted to the base elements by |
symbols). The color rules can be associated with any box and can be |
inheritance. Like the preceding rules, only inheritance of the same value is |
transmitted by inheritance to the base elements or the elements having |
allowed.</P> |
a <A href="#sectc4230a"><TT>ShowBox</TT> rule</A>. Like the preceding rules, |
|
only inheritance of the same value is allowed.</P> |
<PRE> |
<PRE> |
'Foreground' ':' NameInherit |
'Foreground' ':' NameInherit |
'Background' ':' NameInherit |
'Background' ':' NameInherit |
Line 5722 and the elements composing figures are g
|
Line 5751 and the elements composing figures are g
|
</DIV> |
</DIV> |
|
|
<DIV class="subsection"> |
<DIV class="subsection"> |
|
<H3><A name=sectc4230a>Background color and border</A></H3> |
|
|
|
<P> |
|
Boxes associated with structural elements are normally not visible, but it |
|
is possible to draw their border and/or to paint their area when it is needed. |
|
This is achieved by associating the <TT>ShowBox</TT> rule with the concerned |
|
element. This rule has no parameter and no value. It is simply written |
|
<TT>Showbox;</TT>. It is not inherited nor transmitted to any other element. |
|
It applies only to the element with which it is associated.</P> |
|
<PRE> |
|
'ShowBox' |
|
</PRE> |
|
<P> |
|
When an element has a <TT>ShowBox</TT> rule, the border is drawn only if |
|
the <TT>LineWeight</TT> rule that applies to that element has a non-zero |
|
value (this value can be inherited). The color, style and thickness of the |
|
border are defined by the <TT>Foreground</TT>, <TT>LineStyle</TT>, and |
|
<TT>LineWeight</TT> rules that apply to the element.</P> |
|
<P> |
|
When an element has a <TT>ShowBox</TT> rule, the background of this element |
|
is paint only if the value of the <TT>FillPattern</TT> rule that applies to |
|
that element is not <TT>nopattern</TT>. The pattern and color(s) of the |
|
background are defined by the <TT>FillPattern</TT>, <TT>Background</TT>, and |
|
<TT>Foreground</TT> rules that apply to the element.</P> |
|
</DIV> |
|
|
|
<DIV class="subsection"> |
|
<H3><A name=sectc4230b>Background pictures</A></H3> |
|
|
|
<P> |
|
The <TT>BackgroundPicture</TT> rule allows to display a picture as the |
|
background of an element. It has a single parameter, the file name of the |
|
picture. This is a string delimited by single quotes. If the first |
|
character in this string is '/', it is considered as an absolute path, |
|
otherwise the file is searched for along the schema directory |
|
path. This file may contain a picture in any format accepted by |
|
Thot (xbm, xpm, gif, jpeg, png, etc.)</P> |
|
<P> |
|
The <TT>BackgroundPicture</TT> and <TT>PictureMode</TT> rules apply only to |
|
the element with which they are associated. They are not inherited nor |
|
transmitted to children elements.</P> |
|
<P> |
|
The background picture has not always the same size as the element's box. |
|
There are diffrent ways to fill the element box with the picture. This is |
|
specified by the <TT>PictureMode</TT> rule, which should be associated to |
|
the same element. This rule may take one of the following values:</P> |
|
<DL> |
|
<DT><TT>NormalSize</TT> |
|
<DD>The picture is centered in the box, and clipped if it is too large. |
|
|
|
<DT><TT>Scale</TT> |
|
<DD>The picture is zoomed to fit the box size. |
|
|
|
<DT><TT>RepeatX</TT> |
|
<DD>The picture is repeated horizontally to fit the box width. |
|
|
|
<DT><TT>RepeatY</TT> |
|
<DD>The picture is repeated vertically to fit the box height. |
|
|
|
<DT><TT>RepeatXY</TT> |
|
<DD>The picture is repeated both horizontally and vertically to fill the box. |
|
</DL> |
|
<P> |
|
If an element has a <TT>BackgroundPicture</TT> rule and no <TT>PictureMode</TT> |
|
rule, the <TT>NormalSize</TT> value is assumed.</P> |
|
<PRE> |
|
'BackgroundPicture' ':' FileName / |
|
'PictureMode' ':' PictMode . |
|
|
|
FileName = STRING . |
|
PictMode = 'NormalSize' / 'Scale' / 'RepeatXY' / 'RepeatX' / 'RepeatY' . |
|
</PRE> |
|
<P> |
|
The <TT>BackgroundPicture</TT> and <TT>PictureMode</TT> rules apply only to |
|
the element with which they are associated. They are not inherited nor |
|
transmitted to children elements.</P> |
|
</DIV> |
|
|
|
<DIV class="subsection"> |
<H3><A name=sectc4231>Presentation box content</A></H3> |
<H3><A name=sectc4231>Presentation box content</A></H3> |
|
|
<P> |
<P> |
Line 8205 ExcValSeq = ExcValue < ',' ExcVa
|
Line 8313 ExcValSeq = ExcValue < ',' ExcVa
|
ExcValue = 'NoCut' / 'NoCreate' / |
ExcValue = 'NoCut' / 'NoCreate' / |
'NoHMove' / 'NoVMove' / 'NoMove' / |
'NoHMove' / 'NoVMove' / 'NoMove' / |
'NoHResize' / 'NoVResize' / 'NoResize' / |
'NoHResize' / 'NoVResize' / 'NoResize' / |
|
'MoveResize' / |
'NewWidth' / 'NewHeight' / |
'NewWidth' / 'NewHeight' / |
'NewHPos' / 'NewVPos' / |
'NewHPos' / 'NewVPos' / |
'Invisible' / 'NoSelect' / |
'Invisible' / 'NoSelect' / |
Line 8399 PresParam = 'VertRef' ':' HorizPos
|
Line 8508 PresParam = 'VertRef' ':' HorizPos
|
'LineWeight' ':' DistOrInherit / |
'LineWeight' ':' DistOrInherit / |
'FillPattern' ':' NameInherit / |
'FillPattern' ':' NameInherit / |
'Background' ':' NameInherit / |
'Background' ':' NameInherit / |
'Foreground' ':' NameInherit . |
'Foreground' ':' NameInherit / |
'Content' ':' VarConst . |
'Content' ':' VarConst . |
PresFunc = Creation '(' BoxID ')' / |
PresFunc = Creation '(' BoxID ')' / |
'Line' / |
'Line' / |
'NoLine' / |
'NoLine' / |
'Page' '(' BoxID ')' / |
'Page' '(' BoxID ')' / |
'Copy' '(' BoxTypeToCopy ')' . |
'Copy' '(' BoxTypeToCopy ')' / |
|
'ShowBox' / |
|
'BackgroundPicture' ':' FileName / |
|
'PictureMode' ':' PictMode . |
|
|
BoxTypeToCopy = BoxID [ ExtStruct ] / |
BoxTypeToCopy = BoxID [ ExtStruct ] / |
ElemID [ ExtStruct ] . |
ElemID [ ExtStruct ] . |
Line 8507 UnderLineInherit= Kinship '=' /
|
Line 8619 UnderLineInherit= Kinship '=' /
|
'Overlined' / 'CrossedOut' . |
'Overlined' / 'CrossedOut' . |
ThicknessInherit= Kinship '=' / 'Thick' / 'Thin' . |
ThicknessInherit= Kinship '=' / 'Thick' / 'Thin' . |
|
|
|
FileName = STRING . |
|
PictMode = 'NormalSize' / 'Scale' / |
|
'RepeatXY' / 'RepeatX' / 'RepeatY' . |
|
|
VarConst = ConstID / ConstType ConstValue / |
VarConst = ConstID / ConstType ConstValue / |
VarID / '(' FunctionSeq ')' / |
VarID / '(' FunctionSeq ')' / |
ElemID . |
ElemID . |