wikimedia/mediawiki-extensions-VisualEditor

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 02:51:50 +00:00

Commit graph

Author	SHA1	Message	Date
Trevor Parscal	cab7f84b55	Fixed line-height variations between sa and mw integrations * Also fixed format drop-down's preformatted label styling Change-Id: I983ff71959f5e78e52fbe4c585db20357b7ca2d5	2012-11-06 10:24:58 -08:00
Trevor Parscal	238feeb881	Tools changes * Rewrite of all tools, dramatically simplifiying them and decreasing duplication * Tools are now created using a tool factory instead of a make-shift facility built into the toolbar * All UI object have a surface or a toolbar reference instead of a surface view Change-Id: I589ecba36bf715b452d03c8fd5c0547dc3c1dc61	2012-10-26 14:48:27 -07:00

Author

SHA1

Message

Date

Trevor Parscal

cab7f84b55

Fixed line-height variations between sa and mw integrations

* Also fixed format drop-down's preformatted label styling

Change-Id: I983ff71959f5e78e52fbe4c585db20357b7ca2d5

2012-11-06 10:24:58 -08:00

Trevor Parscal

238feeb881

Tools changes

* Rewrite of all tools, dramatically simplifiying them and decreasing
  duplication
* Tools are now created using a tool factory instead of
  a make-shift facility built into the toolbar
* All UI object have a surface or a toolbar reference instead of a
  surface view

Change-Id: I589ecba36bf715b452d03c8fd5c0547dc3c1dc61

2012-10-26 14:48:27 -07:00

2 commits