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
6143 commits 14 branches 17 tags 199 MiB
Commit graph

3 commits

Author SHA1 Message Date
Niklas Laxström 5957065043 Optimise png images with optipng 
Change-Id: Id014ad0a0aa99c9440360e32d2e10bc99fa64738
 2013-07-05 09:47:12 +00:00
Trevor Parscal dd0b331a93 Re-fix pixel grid snapping on new text style icons 
Trevor tweaked the pixel grid snapping on my previous commit
but it appears that introduced some errors as well. The horizontal
lines in underline-a and strikethrough-s no longer have integer
x-coordinates, and on underline-u the whole object is offset
by (0.166, 0.166).

Bug: 47780
Change-Id: I51f2605e7d8e2bab1d641f02244d5cd24f505676
 2013-05-26 14:30:53 +02:00
Ed Sanders 40e45d176a Icons for underline, strike & super/subscript buttons 
Bug: 47780
Change-Id: I2f317e1dda2c2e2fceac401768c732dae02e83ce
 2013-05-20 16:53:04 -07:00