M Fahru 9a55bbf325 Port editor react file tree to history file tree (#12453) ... This new history file tree is mostly copied from the editor file tree, with some of the features stripped away: 1. Remove multiple selections 2. Remove drag and drop ability 3. Remove the ability to rename files & folders 4. No more right-click hijacking (context menu) 5. No more triple dots menu on a file tree item shown 6. No file references, since history doesn't have the data to differentiate between real files and linked file 7. etc (some other small changes that are not too important to be listed) Other notable changes: 1. Simplify the selectable provider (the only context provider being copied from react file tree) 2. Convert to typescript GitOrigin-RevId: 1017e545b2bd99775e01307a9b7eac2daf454014		2023-04-04 08:05:30 +00:00
..
history-controller.js
history-file-tree-controller.js	Port editor react file tree to history file tree (#12453)	2023-04-04 08:05:30 +00:00