You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The settings are configured in the `settings.json` file of each profile. You can read the file to see the settings that are already configured.
34
34
@@ -42,12 +42,12 @@ For example, if you want to change the font, you can either:
42
42
43
43
This is exactly the same for the keybindings. You can navigate to **File > Preferences > Keyboard Shortcuts** and search for the keybinding you want to change.
44
44
45
-
# Contributing
45
+
##Contributing
46
46
47
47
Feel free to contribute by creating a pull request or an issue. You can suggest a profile or something to add to an existing profile
48
48
that would be useful to everyone (not something specific to your own use case) by creating an issue or a pull request.
49
49
50
-
## Create a new profile
50
+
###Create a new profile
51
51
52
52
You can refer to the profiles already there in the `profiles` folder.
0 commit comments