'Return a list of option names for the given section name.
Parameter `withDefault` controls the include of names from section `[DEFAULT]`'

def options(self, section, withDefault=True):

    try:
        opts = self._sections[section]
    except KeyError:
        raise NoSectionError(section)
    if withDefault:
        return (set(opts.keys()) | set(self._defaults))
    return opts.keys()
