☰

Eruda Loader

Load and setup Eruda, DOM plugin included

当前为 2020-07-18 提交的版本，查看 最新版本。

  1. // ==UserScript==
  2. // @name          Eruda Loader
  3. // @description   Load and setup Eruda, DOM plugin included
  4. // @namespace     Eruda
  5. // @author        RainSlide
  6. // @match         *://*/*
  7. // @exclude-match https://eruda.liriliri.io/*
  8. // @version       1.0
  9. // @require       https://cdn.jsdelivr.net/npm/eruda
  10. // @require       https://cdn.jsdelivr.net/npm/eruda-dom
  11. // @grant         none
  12. // @run-at        document-idle
  13. // @noframes
  14. // ==/UserScript==
  15.  
  16. "use strict";
  17.  
  18. if ( !eruda._isInit ) {
  19.  
  20. eruda.init();
  21.  
  22. /*
  23. eruda.init({
  24. // container: containerElement,
  25. // tool: [ "toolName1", "toolName2" ],
  26. // useShadowDom: true,
  27. // autoScale: true,
  28. // defaults: {
  29. //  transparency: 1,
  30. //  displaySize: 80,
  31. //  theme: "themeName"
  32. // }
  33. });
  34.  */
  35.  
  36. eruda.get("console").config.set(
  37.  "maxLogNum", 256
  38. );
  39.  
  40. eruda.add(erudaDom);
  41.  
  42. (() => {
  43.  
  44. eruda._shadowRoot.appendChild(
  45.  document.createElement("style")
  46. ).textContent = `
  47.  
  48. /* Circlize the entry button */
  49. .eruda-container .eruda-entry-btn {
  50. 	border-radius: 50%;
  51. }
  52. .eruda-icon-tool::before {
  53. 	vertical-align: middle;
  54. }
  55.  
  56. `.trim();
  57.  
  58. })();
  59.  
  60. }