Index of /extensions/VisualEditor/lib/ve/src/ui/tools

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 ve.ui.WindowTool.js     2022-03-31 22:14  2.4K  
 ve.ui.ToolbarDialogT..> 2021-09-30 17:46  2.5K  
 ve.ui.TableTool.js      2021-09-30 17:46  721   
 ve.ui.ListTool.js       2022-03-31 22:14  2.5K  
 ve.ui.LinkInspectorT..> 2022-03-31 22:14  1.5K  
 ve.ui.LanguageInspec..> 2021-09-30 17:46  1.0K  
 ve.ui.IndentationToo..> 2021-09-30 17:46  2.2K  
 ve.ui.HistoryTool.js    2021-09-30 17:46  2.8K  
 ve.ui.FragmentWindow..> 2022-03-31 22:14  1.9K  
 ve.ui.FragmentInspec..> 2021-09-30 17:46  808   
 ve.ui.FormatTool.js     2022-03-31 22:14  9.9K  
 ve.ui.CommentInspect..> 2021-09-30 17:46  1.0K  
 ve.ui.CommentAnnotat..> 2021-09-30 17:46  1.3K  
 ve.ui.ClearAnnotatio..> 2021-09-30 17:46  1.0K  
 ve.ui.CheckListTool.js  2022-03-31 22:14  1.8K  
 ve.ui.ChangeDirectio..> 2022-03-31 22:14  2.0K  
 ve.ui.AuthorListPopu..> 2022-03-31 22:14  5.3K  
 ve.ui.AnnotationTool.js 2021-09-30 17:46  9.9K