GitHub Editor - Change Default Settings - Historique des mises à jour

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