https://bugzilla.wikimedia.org/show_bug.cgi?id=50918
--- Comment #3 from Dmcdevit <[email protected]> --- My confusion came from the fact that the user guide refers to it as the "Headings pull-down menu" (http://en.wikipedia.org/wiki/Wikipedia:VisualEditor/User_guide#Getting_started:_the_VisualEditor_toolbar), and every other option in the menu is a heading level (or no level), not a style. If there is somewhere else where styles like pre are going to go, or you intend to add other styles to this same menu, that's fine with me, but my original point about it being jargon still stands. (Though if you add more style options to the same menu, I think that is even more reason to remove pre as noise.) -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
