2009-09-20 16:48:45 +00:00
|
|
|
\begin{itemize}
|
2009-12-23 20:05:29 +00:00
|
|
|
\item `fgshade' and `bgshade' are numbers in the range 0 (= black) to 3
|
2009-09-20 16:48:45 +00:00
|
|
|
(= white).
|
2009-12-23 20:05:29 +00:00
|
|
|
\item `font' is a number: 0 is the built-in system font, 1 is the
|
2009-09-20 16:48:45 +00:00
|
|
|
user-selected font.
|
|
|
|
\end{itemize}
|
|
|
|
|
|
|
|
\begin{example}
|
|
|
|
\config{ui viewport: 15,20,100,150,-,-,-}
|
|
|
|
\end{example}
|
2009-12-23 20:05:29 +00:00
|
|
|
This displays the menu starting at 15px from the left of the screen and 20px
|
2009-09-20 16:48:45 +00:00
|
|
|
from the top of the screen. It is 100px wide and 150px high.
|
|
|
|
The font and the foreground/background shades are defined in the theme
|
|
|
|
\fname{.cfg} file or in the \setting{Theme Settings} menu.
|
2009-12-23 20:05:29 +00:00
|
|
|
|