return this.toBox(argument, boxArgs, settings, colourScheme);
}
@Override
public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
BoxWord boxText = new BoxWord(argument, f.getName(), Box.PLAIN_FONT);
if ((settings&Box.BOLD_FONT)==Box.BOLD_FONT) {
boxText.setProperty(Box.BOLD_FONT);
}
BoxWord comma = new BoxWord(argument, ",", Box.PLAIN_FONT);
switch (boxArgs.size()) {
case 0:
Box blank = new BoxWord(argument, "", 0L);
Box brackets = BoxTools.roundBrackets(argument, blank, 0L, colourScheme);
return BoxTools.centredHorizontalBoxList(argument, settings, boxText, brackets);
case 1:
Box brackettedArgument = BoxTools.roundBrackets(argument, boxArgs.firstElement(), 0L, colourScheme);