☰

GitHub Editor - Change Default Settings

change default settings for the github editor

Per 08-05-2018. Zie de nieuwste versie.

Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.

  • v1.1.21 25-05-2024

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

长期地址
遇到问题？请前往 GitHub 提 Issues。