Content deleted Content added
No edit summary |
+first shot at getting <sup>/</sub> to work |
||
Line 21:
var realTitle = document.getElementById("RealTitle");
if (realTitle) {
var realTitleHTML = realTitle.innerHTML;
realTitle = pickUpText(realTitle); // TODO: replace this with something like "realText"▼
var isPasteable = 0;
//var containsHTML = /</.test(
var containsMinimalHTML = /</.test( realTitleHTML.replace(/<\/?su[bp]>/, "") ); // contains HTML that will be ignored when cut-n-pasted as a wikilink
▲ realTitle = pickUpText(realTitle); // TODO: replace this with something like "realText"
// calculate whether the title is pasteable
Line 47 ⟶ 50:
var h1 = document.getElementsByTagName("h1")[0];
if (h1 && isPasteable) {
h1.innerHTML = containsMinimalHTML ? realTitleHTML : realTitle;
if (!
realTitleBanner.style.display = "none";
}
|