wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-11 05:56:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
Ed Sanders ea03287908 Convert MWPopupTool into MWHelpListToolGroup 
The popup contains three buttons, one of which already exists
in core as a tool. By converting them all to tools we can reduce
some duplication, and better integrate with other features
that use the tool factory, such as HelpCompletionAction.

Bug: T339153
Change-Id: I81d217bc1ab9a1a6a9bf7c7ad588c2a3216b10db
2023-07-01 11:10:53 +01:00
..
apex Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
contextitems
dialogs Autosize the EditSummaryWidget 2023-06-02 12:39:33 +01:00
elements Vector: Use greyed out version of bullet image in visual diffs 2023-03-29 21:05:24 +02:00
images Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
inspectors
layouts Merge "Drop StackLayout" 2022-07-07 13:17:08 +00:00
pages Work around Firefox bug affecting LazyMultilineTextInputWidget 2023-01-20 12:29:12 +01:00
toolgroups Convert MWPopupTool into MWHelpListToolGroup 2023-07-01 11:10:53 +01:00
tools Convert MWPopupTool into MWHelpListToolGroup 2023-07-01 11:10:53 +01:00
widgets Merge "Move gray highlight of template items before blue active rect" 2023-03-14 22:50:09 +00:00
wikimediaui Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
ve.ui.MWWikitextSurface.css