Commit Graph

121 Commits

Author SHA1 Message Date
nichkara
f96b560ca7 Remove ts-rainbow as it is deprecated
Some checks failed
Test Neovim config on push / build (ubuntu-20.04) (push) Failing after 35s
2025-09-23 07:28:44 +02:00
3db17f9849 Update 2025-07-31 08:57:16 +02:00
8564daf4b5 Create nix interpreter output 2025-07-17 16:42:07 +02:00
f19f71c182 Markdown preview 2025-07-15 16:17:23 +02:00
084fff8e1a Cyberdream 2025-07-10 15:06:16 +02:00
82226b4f78 Add lean snippets and do Neovide 2025-07-08 19:59:46 +02:00
8ecfde7ce1 Add spark wiki to config 2025-06-25 17:28:15 +02:00
7daedc0b31 Ada proofs 2025-06-24 09:13:12 +02:00
5ee0540a2e Prove framework 2025-06-15 14:53:46 +02:00
41ec16380b Add function to prove ada/Spark code 2025-06-14 23:23:28 +02:00
d79f1fd6d4 Ada mode update 2025-06-11 14:43:13 +02:00
742e6f614a Remove unused features from config 2025-05-22 08:44:07 +02:00
730ec3b4bd Change default from rel to abs number 2025-05-21 22:36:30 +02:00
1234f9bd4c Update 2025-05-21 18:48:17 +02:00
2d0a74ed82 Change layout style of completion menu 2025-03-31 09:59:19 +02:00
8e09bfd6b7 Remove autoformat 2025-03-31 09:58:29 +02:00
9da04ad7e8 No ensure installed lsps 2025-03-28 07:47:55 +01:00
c91101470c Change default colorscheme 2025-03-27 11:33:35 +01:00
67eaafaee9 Add ignore 2025-03-18 11:32:00 +01:00
a02cf6a902 Mail client 2025-03-18 11:05:20 +01:00
ae06236c2c Add mail client to nvim 2025-03-18 11:01:38 +01:00
f4909335c1 Set ada configuration file dynamically on startup 2025-02-04 07:26:10 +01:00
c8be7d19a7 Change some defaults and the completion window looks 2025-02-03 15:00:49 +01:00
443a0cb897 Spell check 2025-02-01 07:17:01 +01:00
5b1d0d66de Add ada mode 2025-01-24 21:41:28 +01:00
59dc3784af Add screenkey mapping 2024-12-27 16:09:30 +01:00
8cee1dc880 Ada mode 2024-12-19 10:37:14 +01:00
af28c12ea7 Add screenkey 2024-12-19 08:58:04 +01:00
4aa297662c Show key plugin 2024-12-19 08:44:13 +01:00
fb0655896c Remove which-key, much to annoying 2024-12-18 12:22:11 +01:00
35da498b9b Add which key for testing 2024-12-18 09:28:38 +01:00
6e48879ffa Disable pascal formatter. 2024-12-12 06:18:24 +01:00
e5aa6d7012 Update nvim 2024-11-26 19:08:52 +01:00
d63a431242 Add high contrast theme 2024-11-01 10:00:14 +01:00
deda105b50 Add VHDL formatter 2024-10-09 10:00:30 +02:00
cfa581bf05 LSP configuration for LaTeX 2024-10-09 09:08:49 +02:00
c0ad357563 Remove Ada language server 2024-10-08 11:10:52 +02:00
3217a4456c Update Mason packages 2024-10-08 11:01:27 +02:00
4357a36235 Autosetup lsp servers 2024-10-08 10:49:48 +02:00
01359aca3c Ensure installed packages 2024-10-08 10:25:44 +02:00
02c752a943 Use fourmolu as Haskell formatter and fixer 2024-10-08 10:07:17 +02:00
8cb88ec054 Formatter update 2024-10-07 08:19:18 +02:00
af4b80906f Disable ada mode 2024-10-07 07:55:16 +02:00
cc1a7c9311 Add ada formatting 2024-10-07 07:46:40 +02:00
f9ae3dfe99 Format with 4 spaces of indentation 2024-10-01 17:34:54 +02:00
c2705d1f1e Delete empty configuration file 2024-10-01 17:27:14 +02:00
739d439946 Don't fix on save => not all fixed wanted 2024-10-01 17:26:46 +02:00
10ca92d206 Disable spell checking in pascal files 2024-10-01 17:01:41 +02:00
561cdf5d2d Merge branch 'master' of git.nickr.eu:yannickreiss/nvim 2024-09-24 05:41:49 +02:00
b8c5c86010 bypass reloading error when using pascal formatter 2024-09-24 05:41:41 +02:00