docs: def get_recent_files(self):
          """
          Gets the list of recent files. (files that do not exists anymore
          are automatically filtered)
          """
          ret_val = []
          files = self.get_value('list', [])
          # filter files, remove files that do not exist anymore
          for file in files:
              if file is not None and os.path.exists(file):
                  if os.path.ismount(file) and \
                          sys.platform == 'win32' and not file.endswith('\\'):
                      file += '\\'
                  if file not in ret_val:
                      ret_val.append(file)
          return ret_val