☰

GitHub Editor - Change Default Settings

change default settings for the github editor

Ekde 2018/05/15. Vidu La ĝisdata versio.

Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn

  • v1.1.21 2024/05/25

    fix broken libraries
  • v1.1.20 2022/01/30 update prettier
  • v1.1.20 2020/05/08 update packages
  • v1.1.20 2020/03/10 formatting update
  • v1.1.20 2019/12/11 2 space indent
  • v1.1.20 2019/10/20 update eslint
  • v1.1.19 2019/09/08 prettier
  • v1.1.19 2018/12/31 update rawgit require links
  • v1.1.18 2018/09/07 update waitforelems
  • v1.1.17 2018/09/06 update waitForElems
  • v1.1.16 2018/05/20 prefer const
  • v1.1.15 2018/05/18 update gm-config
  • v1.1.14 2018/05/17 update gm_config
  • v1.1.13 2018/05/15 update gm_config
  • v1.1.12 2018/05/15 update gm_config
  • v1.1.11 2018/05/14 update gm_config
  • v1.1.10 2018/05/09 gm config update
  • v1.1.9 2018/05/09 update gm_config
  • v1.1.8 2018/05/09 update gm_config
  • v1.1.7 2018/05/09 update gm_config
  • v1.1.6 2018/05/08 update GM_config
  • v1.1.5 2018/05/08 update gm_config
  • v1.1.4 2018/05/07 update my GM_config references
  • v1.1.3 2018/03/13 update GM_config, preview theme changes for gcpedia ace editor
  • v1.1.2 2018/03/13 use new GM_config
  • v1.1.1 2018/03/06 Template Strings
  • v1.1 2018/03/06 ES6 conversions
  • v1.0.11 2018/02/19 Update github-editor-default-settings.user.js
  • v1.0.10 2016/09/26 Synced from GitHub - Fix for recent GitHub changes
  • v1.0.9 2016/09/04 Synced from GitHub - minor formats
  • v1.0.8 2016/08/17 Imported from URL
  • v1.0.7 2016/08/16 Synced from GitHub - set z index for settings panel
  • v1.0.6 2016/08/16 Synced from GitHub - made settings panel fixed
  • v1.0.7 2016/08/16
  • v1.0.6 2016/08/16 Imported from URL
  • v1.0.5 2016/08/12 Synced from GitHub - trigger webhook
  • v1.0.2 2016/08/11 Imported from URL
  • v1.0.1 2016/08/10
  • v1.0 2016/08/03