☰

GEE Font Size

change font size of GEE

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

// ==UserScript==
// @name         GEE Font Size
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  change font size of GEE
// @author       You
// @match        https://code.earthengine.google.com/
// @icon         data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==
// @grant        GM_addStyle
// ==/UserScript==

(function() {
    'use strict';
    let buttonBox = document.querySelector('.editor-panel .header div')
    let createButton = (title, innerHTML, func) => {
        let button = document.createElement('button')
        button.classList.add('goog-button')
        button.setAttribute('title', title)
        button.innerHTML = innerHTML
        button.onclick = func
        buttonBox.insertBefore(button, buttonBox.firstChild)
    }

    let changeFontSize = (operate) => {
        const minSize = 13
        const maxSize = 60
        return () => {
            let box = document.querySelector('.ace_editor')
            let size = Number(getComputedStyle(box).fontSize.replace('px', ''))
            console.log(size)
            size = eval(operate)
            if (size >= minSize && size <= maxSize) {
                console.log(`${size}px !important`)
                GM_addStyle(`
                    .ace_editor {
                        font-size: ${size}px !important;
                    }
                `)
            }
        }
    }
    createButton('Decrease Font Size', '-', changeFontSize('size - 1'))
    createButton('Increase Font Size', '+', changeFontSize('size + 1'))
})();