您需要先安装一个扩展,例如 篡改猴、Greasemonkey 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 Userscripts ,之后才能安装此脚本。
您需要先安装一款用户脚本管理器扩展,例如 Tampermonkey,才能安装此脚本。
您需要先安装用户脚本管理器扩展后才能安装此脚本。
try to take over the world!
当前为
// ==UserScript== // @name GEE Font Size // @namespace http://tampermonkey.net/ // @version 0.1 // @description try to take over the world! // @author You // @match https://code.earthengine.google.com/ // @icon data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw== // @grant GM_addStyle // @grant GM_setValue // @grant GM_getValue // ==/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 addFontSizeStyle = (size) => { GM_addStyle(` .ace_editor { font-size: ${size}px !important; } `) } const minSize = 13 const maxSize = 60 addFontSizeStyle(GM_getValue('GEE Font Size', minSize)) let changeFontSize = (operate) => { return () => { let box = document.querySelector('.ace_editor') let size = Number(getComputedStyle(box).fontSize.replace('px', '')) size = eval(operate) if (size >= minSize && size <= maxSize) { GM_setValue('GEE Font Size', size) addFontSizeStyle(size) } } } createButton('Decrease Font Size', '-', changeFontSize('size - 1')) createButton('Increase Font Size', '+', changeFontSize('size + 1')) })();