Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface FileRenameEvent

An event that is fired after files are renamed.

Hierarchy

  • FileRenameEvent

Index

Properties

Properties

files: readonly { newUri: Uri; oldUri: Uri }[]

The files that got renamed.