<P>
<H2><A NAME="SECTION00510000000000000000"></A>
-<A NAME="sec:engines"></A><A NAME="1903"></A><A NAME="1904"></A>
+<A NAME="sec:engines"></A><A NAME="1906"></A><A NAME="1907"></A>
<BR>
<SPAN CLASS="arabic">4</SPAN>.<SPAN CLASS="arabic">1</SPAN> Drawing engines, style specifications and sub-styles
</H2>
<PRE>
attr1-attr2-...-attrn
</PRE>
-These extra attributes are called <SPAN CLASS="textit">substyles</SPAN><A NAME="1916"></A>
+These extra attributes are called <SPAN CLASS="textit">substyles</SPAN><A NAME="1919"></A>
and allow, for example, the state of the object to be indicated
by different colour sets while keeping the interface at an
abstract level and the drawing engine completely ignorant
<TR><TD ALIGN="LEFT">`<TT>tab-menuentry-bigmenu</TT>'</TD>
<TD ALIGN="LEFT">An alternate style for entries in WMenus.</TD>
</TR>
+<TR><TD ALIGN="LEFT">`<TT>tab-info</TT>'</TD>
+<TD ALIGN="LEFT">Extra information tab (displayed e.g. for tagged workspaces).</TD>
+</TR>
</TABLE>
<P>
<TD ALIGN="LEFT">The box displaying position/size when
moving or resizing frames.</TD>
</TR>
+<TR><TD ALIGN="LEFT">`<TT>actnotify</TT>'</TD>
+<TD ALIGN="LEFT">Actification notification box.</TD>
+</TR>
<TR><TD ALIGN="LEFT">`<TT>stdisp</TT>'</TD>
<TD ALIGN="LEFT">Any status display.</TD>
</TR>
<P>
-<DIV ALIGN="CENTER"><A NAME="fig:borders"></A><A NAME="2017"></A>
+<DIV ALIGN="CENTER"><A NAME="fig:borders"></A><A NAME="2022"></A>
<TABLE>
<CAPTION ALIGN="BOTTOM"><STRONG>Figure 4.1:</STRONG>
Sketch of different border styles and elements</CAPTION>
<TD ALIGN="LEFT">Maximum tab-bar width quotient of
frame width for the shaped styles. A number in the
interval <SPAN CLASS="MATH"><IMG
- WIDTH="42" HEIGHT="36" ALIGN="MIDDLE" BORDER="0"
+ WIDTH="41" HEIGHT="36" ALIGN="MIDDLE" BORDER="0"
SRC="img3.png"
ALT="$(0, 1]$"></SPAN>.</TD>
</TR>