GitHub Editor - Change Default Settings JS - change default settings for the github editor Author kufii Daily installs 0 Total installs 68 Ratings 2 0 0 Created 2016-08-03 Updated 2022-01-30