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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 ve.ui.WindowTool.js     2024-08-14 15:39  2.3K  
 ve.ui.ToolbarDialogT..> 2024-08-14 15:39  2.4K  
 ve.ui.TableTool.js      2024-08-14 15:39  667   
 ve.ui.ListTool.js       2024-08-14 15:39  2.5K  
 ve.ui.LinkInspectorT..> 2024-08-14 15:39  1.5K  
 ve.ui.LanguageInspec..> 2024-08-14 15:39  1.0K  
 ve.ui.IndentationToo..> 2024-08-14 15:39  2.2K  
 ve.ui.HistoryTool.js    2024-08-14 15:39  2.8K  
 ve.ui.HelpCompletion..> 2024-08-14 15:39  1.0K  
 ve.ui.FragmentWindow..> 2024-08-14 15:39  1.9K  
 ve.ui.FragmentInspec..> 2024-08-14 15:39  754   
 ve.ui.FormatTool.js     2024-08-14 15:39  9.9K  
 ve.ui.CommentInspect..> 2024-08-14 15:39  1.0K  
 ve.ui.CommentAnnotat..> 2024-08-14 15:39  1.2K  
 ve.ui.ClearAnnotatio..> 2024-08-14 15:39  933   
 ve.ui.CheckListTool.js  2024-08-14 15:39  1.7K  
 ve.ui.ChangeDirectio..> 2024-08-14 15:39  2.0K  
 ve.ui.AuthorListPopu..> 2024-08-14 15:39  5.3K  
 ve.ui.AnnotationTool.js 2024-08-14 15:39  9.8K