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
..
fonts	Add font-weight range and remove webkit prefix for Material Symbols (#11730)	2023-02-17 09:04:55 +00:00
js	Port editor react file tree to history file tree (#12453)	2023-04-04 08:05:30 +00:00
macros
stories	Connect up document diff viewer to history state	2023-03-31 08:03:47 +00:00
stylesheets	Merge pull request #12425 from overleaf/jel-mobile-padding	2023-04-04 08:04:46 +00:00
extracted-translations.json	Merge pull request #12417 from overleaf/ii-history-react-toggle-switch	2023-03-30 08:04:22 +00:00
translations-loader.js