GitHub Editor - Change Default Settings

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