preferences
souporserious opened this issue · comments
Travis Arnold commented
Add global user preferences like editor settings similar to VS Code (theme, highlight number, font ligatures, etc) as well as other features like preferred language, package manager, lefthand vs righthand, etc.