☰

cppref-hashtag

Add Python-doc-like links to cppreference

Verze ze dne 12. 06. 2021. Zobrazit nejnovější verzi.

Jak nainstalovat

K instalaci tototo skriptu si budete muset nainstalovat rozšíření jako Tampermonkey, Greasemonkey nebo Violentmonkey.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Violentmonkey.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Userscripts.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat manažer uživatelských skriptů.

(Už mám manažer uživatelských skriptů, nechte mě ho nainstalovat!)

Jak nainstalovat

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(Už mám manažer uživatelských stylů, nechte mě ho nainstalovat!) 

// ==UserScript==
// @name        cppref-hashtag
// @namespace   mailto:[email protected]
// @version     0.1.3
// @description Add Python-doc-like links to cppreference
// @author      QuarticCat <[email protected]>
// @match       *://*.cppreference.com/*
// @icon        https://www.google.com/s2/favicons?domain=cppreference.com
// @require     https://cdn.jsdelivr.net/combine/npm/@violentmonkey/dom@1
// @license     MIT
// ==/UserScript==

(function () {
'use strict';

var css_248z = "a.headerlink{color:#0072aa;text-decoration:none;visibility:hidden}";

document.head.append(VM.createElement("style", null, css_248z));

for (const headline of document.getElementsByClassName('mw-headline')) {
  // Inject links
  const link = VM.createElement("a", {
    className: "headerlink",
    href: `#${headline.id}`,
    title: "Permalink to this headline"
  }, "\xB6");
  headline.insertAdjacentElement('afterend', link); // Add hover events

  const parent = headline.parentNode;
  parent.addEventListener('mouseenter', () => {
    link.style.visibility = 'visible';
  });
  parent.addEventListener('mouseleave', () => {
    link.style.visibility = 'hidden';
  });
}

}());