else if (prop.name() == SGFPropertyName.SL)
wit.addMark(WIT.SELECTED);
else if (prop.name() == SGFPropertyName.DD)
wit.addMark(WIT.DIMMED);
else if (prop.name() == SGFPropertyName.TW)
wit.addMark(WIT.WHITE_TER);
else if (prop.name() == SGFPropertyName.TB)
wit.addMark(WIT.BLACK_TER);
else if (prop.name() == SGFPropertyName.LB)
wit.setLabel(prop.getText());
else if (prop.name() == SGFPropertyName.VW)