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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      ve.ui.MediaSizeWidge..> 2018-07-23 16:41   18K  
      ve.ui.DimensionsWidg..> 2018-07-23 16:41  6.1K  
      ve.ui.LanguageInputW..> 2018-07-23 16:41  5.4K  
      ve.ui.TargetWidget.js   2018-07-23 16:41  5.2K  
      ve.ui.LinkAnnotation..> 2018-07-23 16:41  4.6K  
      ve.ui.LanguageSearch..> 2018-07-23 16:41  3.4K  
      ve.ui.WhitespacePres..> 2018-07-23 16:41  2.3K  
      ve.ui.ContextOptionW..> 2018-07-23 16:41  1.7K  
      ve.ui.LanguageResult..> 2018-07-23 16:41  1.6K  
      ve.ui.AlignWidget.js    2018-07-23 16:41  1.2K  
      ve.ui.ContextSelectW..> 2018-07-23 16:41  953   
      ve.ui.ChangeDescript..> 2018-07-23 16:41  906   
      ve.ui.NoFocusButtonW..> 2018-07-23 16:41  415