}
void
+WidgetEcho (Option *opt, int state)
+{
+}
+
+void
SetWidgetLabel (Option *opt, char *buf)
{
Arg arg;
}
void
+ApplyFont (Option *opt, char *font)
+{ // dummy
+}
+
+void
Show (Option *opt, int hide)
{
static Dimension h;
{
Browse(BoardWindow, label, (def[0] ? def : NULL), filter, False, openMode, openName, openFP);
}
+
+void
+LockBoardSize (int after)
+{
+}