Community
Participate
Working Groups
It would be nice to mirror the functionality defined by Bug 123643 in the HTML editor, as well. In essence, it is desired that by terminating a once-empty tag <elem></elem> into <elem/> should remove the old end-tag to create a property empty-element tag.
Created attachment 92054 [details] Patch to add end-tag removal in smart insert This patch provides the capability for smart insert in HTML to clean-up unnecessary end-tags when using the empty-element tag termination.
Looks good, released.
Closed, as verified in S-3.0M6-20080403100029.
mass change to add 'contributed' keyword based on bugzilla query, please correct if that's not accurate (by marking patches as obsolete and removing the 'contributed' keyword.