Index of /how-to/extensions/VisualEditor/lib/ve/src/ui/tools

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      ve.ui.TableTool.js      2018-07-23 16:41  707   
      ve.ui.ClearAnnotatio..> 2018-07-23 16:41  1.0K  
      ve.ui.LanguageInspec..> 2018-07-23 16:41  1.0K  
      ve.ui.FragmentWindow..> 2018-07-23 16:41  1.9K  
      ve.ui.ChangeDirectio..> 2018-07-23 16:41  1.9K  
      ve.ui.IndentationToo..> 2018-07-23 16:41  2.2K  
      ve.ui.WindowTool.js     2018-07-23 16:41  2.4K  
      ve.ui.ToolbarDialogT..> 2018-07-23 16:41  2.5K  
      ve.ui.ListTool.js       2018-07-23 16:41  2.7K  
      ve.ui.HistoryTool.js    2018-07-23 16:41  2.8K  
      ve.ui.FragmentInspec..> 2018-07-23 16:41  3.0K  
      ve.ui.AnnotationTool.js 2018-07-23 16:41  9.8K  
      ve.ui.FormatTool.js     2018-07-23 16:41   10K