bug1841730-www.korg.com.js

Enable keyboard shortcuts

/* THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY. */

if (!window.paceOptions) {

  window.paceOptions = { eventLag: false };

  window.__webcompat = (window.__webcompat ?? new Set()).add(

    "window.paceOptions"

);

  const bugInfo = [["www.korg.com", ["1841730"]]];

  const msgs = window.__webcompat;

  delete window.__webcompat;

  if (msgs?.size) {

    const bugs =

      bugInfo.find(([domain]) => location.href.includes(domain))?.[1] ??

      bugInfo[0][1];

    const bugNumbers = bugs.map(b => "https://bugzil.la/" + b).join(" and ");

    console.info(

      `${[...msgs].join(", ")} ${msgs.size > 1 ? "are" : "is"} being altered for compatibility reasons. See ${bugNumbers} for details.`

);