start of FileWidget and FilesWidget code