Commit Graph

23 Commits

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