|
|
3f9cee724f
|
Fix title bar in Linux
|
2023-10-17 14:36:55 +01:00 |
|
|
|
02087d5e06
|
VSCode tweak how windows open
|
2023-09-21 09:33:02 +01:00 |
|
|
|
51cbc92978
|
Use dark theme and tweak fonts
|
2023-09-21 08:47:56 +01:00 |
|
|
|
339f0bc38a
|
VSCode: Remove settings for unused extensions
|
2023-09-04 13:47:09 +01:00 |
|
|
|
4931874f3f
|
VSCode: Indent HTML with two spaces
|
2023-09-04 13:45:27 +01:00 |
|
|
|
2a45a22c34
|
Disable font ligatures
|
2023-08-30 11:11:13 +01:00 |
|
|
|
4bc83de754
|
Enable sticky scroll
|
2023-07-31 13:26:49 +01:00 |
|
|
|
da8b34f25f
|
VSCode: Don't show PowerShell console
|
2023-07-14 12:54:40 +01:00 |
|
|
|
d2fa9bff39
|
VSCode settings
|
2023-07-14 12:33:46 +01:00 |
|
|
|
35ee70c0ae
|
Use OTBS instead of Allman for PowerShell
|
2023-06-16 13:57:58 +01:00 |
|
|
|
deade51baa
|
Add a ruler at 100 characters
|
2023-06-14 10:25:34 +01:00 |
|
|
|
451dd574f0
|
Use : in TODO tags
|
2023-06-14 09:00:16 +01:00 |
|
|
|
278ce12c31
|
Don't auto-generate .editorconfig files
|
2023-06-13 22:20:24 +01:00 |
|
|
|
2c54c3fb81
|
Fix priority ordering of tags
|
2023-06-12 11:23:03 +01:00 |
|
|
|
6c17785f73
|
Highlight [!], [!!], [!!!]
|
2023-06-12 11:19:22 +01:00 |
|
|
|
750ebbacfe
|
Group by tags by default
|
2023-06-12 11:10:19 +01:00 |
|
|
|
5faee0485a
|
Settings for todo-tree extension
|
2023-06-12 10:53:48 +01:00 |
|
|
|
904f96c334
|
Wrap lines at viewport width
|
2023-06-12 10:53:31 +01:00 |
|
|
|
f63bdd71d8
|
Add more VSCode settings
|
2023-06-09 09:19:53 +01:00 |
|
|
|
30de21221d
|
Use Noto Sans Mono and Cascadia Code fonts
|
2023-06-06 11:31:52 +01:00 |
|
|
|
39ac8e02ba
|
Render whitespace in vscode
|
2023-06-05 15:03:03 +01:00 |
|
|
|
3134909a90
|
Put braces on their own line
|
2023-06-05 10:06:39 +01:00 |
|
|
|
7b5417962b
|
Suppress C# build assets notification
|
2023-06-05 08:46:23 +01:00 |
|
|
|
70dc240fea
|
Disable some history settings
|
2023-05-16 21:12:33 +01:00 |
|
|
|
d5b96d5ac2
|
Add final newlines
|
2023-05-16 21:00:36 +01:00 |
|
|
|
54bcb0ba85
|
Disable VSCode auto update checks
|
2023-05-16 20:54:55 +01:00 |
|
|
|
ffccec2898
|
Tweak VSCode settings
|
2023-05-16 20:39:22 +01:00 |
|
|
|
2fc78427a7
|
Disable some online services
|
2023-05-16 14:59:31 +01:00 |
|
|
|
8e7f22b327
|
Add VSCode settings.json
|
2023-05-16 10:08:48 +01:00 |
|
