|
9c1ad2bf05
|
Tweak non-extension settings
/ lint (push) Failing after 1m34s
|
2023-07-25 12:19:44 +01:00 |
|
|
336eaf301e
|
Allow easy toggling to a light scheme
|
2023-07-25 11:45:45 +01:00 |
|
|
44e185c81b
|
Port VSCode config from work machine
|
2023-07-25 11:38:09 +01:00 |
|
|
edf11c2b1a
|
Increase terminal scrollback
|
2023-07-25 11:30:41 +01:00 |
|
|
63abbadb83
|
Disable font ligatures
|
2023-07-25 11:28:40 +01:00 |
|
|
361590dc36
|
Replace languagetool with ltex
/ lint (push) Failing after 1m42s
It's much more lightweight, and integrates nicer as a language server
|
2023-07-24 17:40:48 +01:00 |
|
|
8427c8c40c
|
Disable bracket colors
|
2023-07-15 16:15:54 +01:00 |
|
|
c1fb121934
|
Limit languagetool to only operating on markdown
|
2021-11-07 21:57:24 +00:00 |
|
|
46578eb980
|
Prune deprecated vscode settings
|
2021-11-07 21:54:31 +00:00 |
|
|
bc25f34e8e
|
Use Jedi language server
|
2020-06-09 15:40:34 +01:00 |
|
|
50c248b719
|
Install languagetool to check my grammer
Gotta keep @sedders123 happy!
|
2020-05-30 17:27:36 +01:00 |
|
|
5f60de1428
|
Install terraform and its language server
|
2020-02-25 10:12:48 +00:00 |
|
|
1e581e260a
|
Add yet more useful VSCode extensions
|
2019-11-29 22:53:27 +00:00 |
|
|
5ed5b39d16
|
Move highlight to underline
|
2019-10-29 16:30:14 +00:00 |
|
|
3801295ea2
|
Stop automatically adding \item
|
2019-10-29 16:23:14 +00:00 |
|
|
897f5d0dbf
|
Enhance privacy of vscode now i'm using the standard version
|
2019-09-03 12:27:24 +01:00 |
|
|
6d8357f9a7
|
Fix linting things and add poetry to virtualenv locations
|
2019-08-04 21:12:44 +01:00 |
|
|
9edf5bcb74
|
Enable flake8
|
2019-08-04 21:06:48 +01:00 |
|
|
ead62273a2
|
Remove python linting config
We don't need to hardcode the path
|
2019-08-04 21:06:05 +01:00 |
|
|
c54c6ab613
|
Remove deprecated vscode settings
|
2019-08-04 20:54:45 +01:00 |
|
|
6c10f0e700
|
Run through the vscode settings and tinker
|
2019-05-11 17:18:41 +01:00 |
|
|
a157cf94fb
|
Tweak some VSCode settings
|
2019-05-11 16:56:09 +01:00 |
|
|
3d0cfd0a5f
|
Add vscode tasks
|
2018-09-10 09:20:53 +01:00 |
|