Index of /~david/wiki/pt/extensions/VisualEditor/lib/ve/src/ui/tools

 Name                                                   Last modified      Size  Description
 Parent Directory                                                            -   
 ve.ui.AnnotationTool.js                                2021-09-30 17:46  9.9K  
 ve.ui.AuthorListPopupTool.js                           2023-09-28 23:30  5.3K  
 ve.ui.ChangeDirectionalityTool.js                      2023-09-28 23:30  2.0K  
 ve.ui.CheckListTool.js                                 2023-09-28 23:30  1.8K  
 ve.ui.ClearAnnotationTool.js                           2021-09-30 17:46  1.0K  
 ve.ui.CommentAnnotationInspectorTool.js                2021-09-30 17:46  1.3K  
 ve.ui.CommentInspectorTool.js                          2021-09-30 17:46  1.0K  
 ve.ui.FormatTool.js                                    2023-09-28 23:30  9.9K  
 ve.ui.FragmentInspectorTool.js                         2021-09-30 17:46  808   
 ve.ui.FragmentWindowTool.js                            2023-09-28 23:30  1.9K  
 ve.ui.HistoryTool.js                                   2021-09-30 17:46  2.8K  
 ve.ui.IndentationTool.js                               2021-09-30 17:46  2.2K  
 ve.ui.LanguageInspectorTool.js                         2021-09-30 17:46  1.0K  
 ve.ui.LinkInspectorTool.js                             2023-09-28 23:30  1.5K  
 ve.ui.ListTool.js                                      2023-09-28 23:30  2.5K  
 ve.ui.TableTool.js                                     2021-09-30 17:46  721   
 ve.ui.ToolbarDialogTool.js                             2021-09-30 17:46  2.5K  
 ve.ui.WindowTool.js                                    2023-09-28 23:30  2.4K