yaleiyale

function main(params) {
  if (!params.proxies) return params
  let proxies = []
  params.proxies.forEach(proxy => {
    proxies.push(proxy.name)
  })
  const groups = [
    {
      "name": "🚀不时之需",
      "type": "select",

yaleiyale

var tags = {
    '[!note]': '<i class="fa-solid fa-pencil"></i>',
    '[!abstract]': '<i class="fa-solid fa-clipboard-list"></i>',
    '[!summary]': '<i class="fa-solid fa-clipboard-list"></i>',
    '[!tldr]': '<i class="fa-solid fa-clipboard-list"></i>',
    '[!info]': '<i class="fa-solid fa-circle-info"></i>',
    '[!todo]': '<i class="fa-solid fa-circle-info"></i>',
    '[!tip]': '<i class="fa-solid fa-fire-flame-curved"></i>',
    '[!hint]': '<i class="fa-solid fa-fire-flame-curved"></i>',
    '[!important]': '<i class="fa-solid fa-fire-flame-curved"></i>',

yaleiyale

/*--- waitForKeyElements():  A utility function, for Greasemonkey scripts,
    that detects and handles AJAXed content.

    Usage example:

        waitForKeyElements (
            "div.comments"
            , commentCallbackFunction
        );