 David Bernazal
|
2d7527bcde
|
fix: Adding window support for ElixirTools on init (#752)
* Adding window support for ElixirTools init
* Update type to map
|
2025-11-13 09:23:15 +01:00 |
|
|
Dominik Jain
|
c0fc9d3756
|
Merge pull request #743 from oraios/intelephense-ignore-vendor-setting
Intelephense: Add configurable setting `ignore_vendor`
|
2025-11-11 21:33:56 +01:00 |
|
|
Dominik Jain
|
cb038418eb
|
Intelephense: Add customizable setting ignore_vendor
Resolves #731
|
2025-11-10 20:32:30 +01:00 |
|
|
Dominik Jain
|
064224d6ae
|
Refactor retrieval of LS-specific settings, adding abstraction
and ensuring that all relevant retrievals are logged
|
2025-11-10 20:08:58 +01:00 |
|
|
Dominik Jain
|
0a40f580dd
|
Improve handling of custom LS-specific settings
|
2025-11-10 18:50:10 +01:00 |
|
|
Dominik Jain
|
ab92a27554
|
Merge pull request #740 from oraios/edit-memory-tool
Add EditMemoryTool
|
2025-11-10 18:38:32 +01:00 |
|
|
Dominik Jain
|
e2775684c4
|
Add EditMemoryTool
Implements #738
|
2025-11-10 17:09:58 +01:00 |
|
|
Dominik Jain
|
43457db31d
|
Do not ignore /.serena, only .serena in test folders
|
2025-11-10 16:00:15 +01:00 |
|
|
Dominik Jain
|
4ac6d59e6c
|
Use redirect instead of copy for index file
|
2025-11-09 14:23:01 +01:00 |
|
|
Dominik Jain
|
90f50fe638
|
Automate copying of 01-about/000_intro.md to index.md, and ignore index.md
|
2025-11-09 14:02:02 +01:00 |
|
|
Dominik Jain
|
98072d171f
|
Add 'About Serena' contents to the intro page of the first section
|
2025-11-09 07:14:15 +01:00 |
|
|
Dominik Jain
|
91dcbfa1bc
|
Remove unnecessary copies of logo images
|
2025-11-09 07:13:34 +01:00 |
|
|
Dominik Jain
|
97fe7144d0
|
Remove references to sensAI, update .gitignore [skip ci]
|
2025-11-09 06:39:51 +01:00 |
|
|
youM
|
b371d5bcf8
|
Use selection range in scala (#733)
* enable serection range
* rm dupricate row
|
2025-11-09 06:37:40 +01:00 |
|
|
Dominik Jain
|
2bc9d1b4a5
|
Add video tags
|
2025-11-09 06:19:25 +01:00 |
|
|
Michael Panchenko
|
0ddeab82ab
|
Docs: support for dark mode logo
|
2025-11-09 11:40:51 +07:00 |
|
|
Michael Panchenko
|
420df9dd93
|
Updated doc build dependencies
|
2025-11-09 11:40:31 +07:00 |
|
|
Michael Panchenko
|
85ce624063
|
Docs config: removed references to tianshou
|
2025-11-09 11:14:40 +07:00 |
|
|
Michael Panchenko
|
9cd221755d
|
Docs config: removed copy-paste
|
2025-11-09 11:11:44 +07:00 |
|
|
Dominik Jain
|
0b999e7762
|
Update configuration guide URL
|
2025-11-09 02:07:55 +01:00 |
|
|
Dominik Jain
|
21c88fe8b0
|
Use dedicated heartbeat function to auto-close dashboard
Fixes #734
|
2025-11-09 02:07:25 +01:00 |
|
|
Dominik Jain
|
875eb72c51
|
Add 'Copy Dashboard URL' function to GUI window
|
2025-11-09 01:47:31 +01:00 |
|
|
Dominik Jain
|
08d9488540
|
Improve Quick Start
|
2025-11-08 17:11:16 +01:00 |
|
|
Dominik Jain
|
fc8503f77b
|
Merge pull request #729 from oraios/docs
New documentation structure (outside of README)
|
2025-11-08 16:30:17 +01:00 |
|
|
Dominik Jain
|
5dc5f5e5f0
|
Build docs for main branch
|
2025-11-08 15:05:02 +01:00 |
|
|
Dominik Jain
|
ff5ac556dc
|
Add CLI command examples
|
2025-11-08 14:14:20 +01:00 |
|
|
Dominik Jain
|
55a041dffc
|
Clean up docs task
|
2025-11-08 13:12:35 +01:00 |
|
|
Dominik Jain
|
db01516894
|
Improve callouts
|
2025-11-08 13:10:53 +01:00 |
|
|
Dominik Jain
|
2b9a450559
|
Disable continuation on error
|
2025-11-08 12:43:17 +01:00 |
|
|
Dominik Jain
|
90e123726c
|
Fix heading levels in docs
|
2025-11-08 12:43:17 +01:00 |
|
|
Dominik Jain
|
e436fb3f59
|
Fix links in docs
|
2025-11-08 12:43:17 +01:00 |
|
|
Dominik Jain
|
530926c836
|
Several docs improvements (proof-reading)
|
2025-11-08 12:43:17 +01:00 |
|
|
Dominik Jain
|
766ecbccd4
|
Move tool list to docs, restructure README
|
2025-11-08 04:03:15 +01:00 |
|
|
Dominik Jain
|
63fd5bfb59
|
Update README, removing parts now in the user guide and adding links instead
|
2025-11-08 01:09:15 +01:00 |
|
|
Dominik Jain
|
6833044a85
|
Update docs build in CI
|
2025-11-08 00:39:28 +01:00 |
|
|
Dominik Jain
|
ec41c32a0f
|
Improve docs on workflow
|
2025-11-08 00:11:25 +01:00 |
|
|
Dominik Jain
|
9f2ed5965e
|
Improve docs on client configuration
|
2025-11-07 23:36:57 +01:00 |
|
|
Dominik Jain
|
185c3b2065
|
Improve prerequisistes and language support docs
|
2025-11-07 21:10:15 +01:00 |
|
|
Dominik Jain
|
9dbbfe60b8
|
Improve docs on 'Running Serena'
|
2025-11-07 20:54:38 +01:00 |
|
|
Dominik Jain
|
f958031555
|
Add/improve docs on dashboard/GUI tool
|
2025-11-07 20:50:09 +01:00 |
|
|
Dominik Jain
|
1ec18595be
|
Add/improve docs on security
|
2025-11-07 20:43:36 +01:00 |
|
|
Dominik Jain
|
774333befc
|
Improve docs on contexts and modes
|
2025-11-07 20:30:17 +01:00 |
|
|
Dominik Jain
|
c2b456a862
|
Restructure docs, improve texts (particular for Running Serena)
|
2025-11-07 20:15:43 +01:00 |
|
|
Dominik Jain
|
faf3441ab2
|
Add content from README in docs structure
|
2025-11-07 18:00:00 +01:00 |
|
|
Dominik Jain
|
9c506d0097
|
Initial setup for jupyterbook build
|
2025-11-07 14:29:35 +01:00 |
|
|
Dominik Jain
|
c3827d9d57
|
Apply formatter
|
2025-11-06 21:04:17 +01:00 |
|
|
Dominik Jain
|
e3128280e5
|
Merge branch 'sponsor-rotation'
|
2025-11-06 21:03:59 +01:00 |
|
|
Dominik Jain
|
ef135686c1
|
Disable sponsor display/rotation
|
2025-11-06 21:03:41 +01:00 |
|
|
Dominik Jain
|
234cc87679
|
Merge branch 'cancelable-tasks'
|
2025-11-06 21:00:03 +01:00 |
|
|
Dominik Jain
|
19313fea56
|
Improve task cancellation test
|
2025-11-06 20:58:33 +01:00 |
|