wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui
History
Roan Kattouw 07671c6b53 Followup eb95d7b0b2: don't hide the inspectors WindowSet at all 
There's no point in hiding the WindowSet if we've already closed the
open window in it. In fact, there's no point in hiding a WindowSet
pretty much ever.

Change-Id: I49a02b5d255b266eb9e0a537cb64082eb0ad5e4b
2013-12-02 12:29:33 -08:00
..
actions Plain text paste with paste special 2013-11-26 18:23:58 +00:00
inspectors Make autonumbered external links inspectable 2013-11-30 00:14:41 -08:00
styles Window refactor 2013-11-08 12:33:25 -08:00
tools Make inspector tools active when content is inspectable 2013-11-13 00:54:28 +00:00
widgets Window refactor 2013-11-08 12:33:25 -08:00
ve.ui.Action.js
ve.ui.ActionFactory.js Remove ve.Factory and ve.Registry and use oojs instead 2013-10-22 19:15:18 +00:00
ve.ui.Command.js Detangle triggers from OOUI 2013-10-29 05:50:30 +00:00
ve.ui.CommandRegistry.js Plain text paste with paste special 2013-11-26 18:23:58 +00:00
ve.ui.Context.js Followup eb95d7b0b2: don't hide the inspectors WindowSet at all 2013-12-02 12:29:33 -08:00
ve.ui.Dialog.js Window refactor 2013-11-08 12:33:25 -08:00
ve.ui.Inspector.js Window refactor 2013-11-08 12:33:25 -08:00
ve.ui.js Window refactor 2013-11-08 12:33:25 -08:00
ve.ui.Surface.js Rich paste 2013-11-26 18:23:12 +00:00
ve.ui.TargetToolbar.js Window refactor 2013-11-08 12:33:25 -08:00
ve.ui.Toolbar.js Remove the toolbar tracker 2013-11-26 13:37:50 +00:00
ve.ui.ToolFactory.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
ve.ui.Trigger.js Add the special 'clear' (12) button to ve.ui.Trigger 2013-07-29 16:41:28 -07:00
ve.ui.TriggerRegistry.js Plain text paste with paste special 2013-11-26 18:23:58 +00:00
ve.ui.WindowSet.js Window refactor 2013-11-08 12:33:25 -08:00