code: def getFontFace(self):
          
          userFace = self.buildSpec['terminal_font_family'] or self.defaultFont.GetFaceName()
          return (''
                  if self.buildSpec['monospace_display']
                  else userFace)
docs: Choose the best font face available given the user options