docs: def get_flagged_names():
      """Return a list of all filenames marked as flagged."""
  
      l = []
      for w in _widget_cache.values():
          if w.flagged:
              l.append(w.get_node().get_value())
      return l