☰

GEE Font Size

change font size of GEE

当前为 2022-01-10 提交的版本，查看 最新版本。

  1. // ==UserScript==
  2. // @name         GEE Font Size
  3. // @namespace    http://tampermonkey.net/
  4. // @version      0.1
  5. // @description  change font size of GEE
  6. // @author       You
  7. // @match        https://code.earthengine.google.com/
  8. // @icon         data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==
  9. // @grant        GM_addStyle
  10. // ==/UserScript==
  11.  
  12. (function() {
  13.     'use strict';
  14.     let buttonBox = document.querySelector('.editor-panel .header div')
  15.     let createButton = (title, innerHTML, func) => {
  16.         let button = document.createElement('button')
  17.         button.classList.add('goog-button')
  18.         button.setAttribute('title', title)
  19.         button.innerHTML = innerHTML
  20.         button.onclick = func
  21.         buttonBox.insertBefore(button, buttonBox.firstChild)
  22.     }
  23.  
  24.     let changeFontSize = (operate) => {
  25.         const minSize = 13
  26.         const maxSize = 60
  27.         return () => {
  28.             let box = document.querySelector('.ace_editor')
  29.             let size = Number(getComputedStyle(box).fontSize.replace('px', ''))
  30.             console.log(size)
  31.             size = eval(operate)
  32.             if (size >= minSize && size <= maxSize) {
  33.                 console.log(`${size}px !important`)
  34.                 GM_addStyle(`
  35.                     .ace_editor {
  36.                         font-size: ${size}px !important;
  37.                     }
  38.                 `)
  39.             }
  40.         }
  41.     }
  42.     createButton('Decrease Font Size', '-', changeFontSize('size - 1'))
  43.     createButton('Increase Font Size', '+', changeFontSize('size + 1'))
  44. })();