From bad11d825cf37729be94e3058f592a74e4675148 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Sun, 9 Aug 2026 17:51:16 +0200 Subject: [PATCH] Update news item --- news/20260809.html | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/news/20260809.html b/news/20260809.html index a176e668..8f517e3a 100644 --- a/news/20260809.html +++ b/news/20260809.html @@ -10,12 +10,13 @@ and hooks (serena-hooks --client=grok) with Grok-native PreToolUse allow/deny output.

- Expanded Language Support. - New language servers: Gleam (via gleam lsp), Nextflow (official language server, JAR downloaded - automatically, Java 17+ required), Deno (experimental; understands npm:/jsr:/https: - imports and the Deno.* globals, must be selected explicitly), and - python_basedpyright as an alternative Python language server. - The managed Kotlin language server was updated, now including Windows ARM64 builds. + Expanded Language Server Support. + Added: Gleam (via gleam lsp), Nextflow (official language server, JAR downloaded + automatically, Java 17+ required), Deno and Wolfram (both experimental) as well as + python_basedpyright as an alternative Python language server.
+ The managed Java and Kotlin language server were updated.
+ Furthermore, you now have the option of specifying language server priorities, which affect auto-detection during + project creation, allowing you to change the default language server for a given language.

Renamed Project Setting.