☰

GitHub Editor - Change Default Settings

change default settings for the github editor

Od 09.05.2018.. Pogledajte najnovija verzija.

These are versions of this script where the code was updated. Show all versions.

  • 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.