Skip to content

Commit 5f47fae

Browse files
author
Documenter.jl
committed
build based on 59cefbb
1 parent 8d5cba0 commit 5f47fae

8 files changed

Lines changed: 9 additions & 9 deletions

File tree

dev/.documenter-siteinfo.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
{"documenter":{"julia_version":"1.12.1","generation_timestamp":"2025-11-15T11:05:08","documenter_version":"1.16.0"}}
1+
{"documenter":{"julia_version":"1.12.1","generation_timestamp":"2025-11-15T11:17:49","documenter_version":"1.16.0"}}

dev/configuration/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,4 +70,4 @@
7070
}
7171
}
7272
}
73-
}</code></pre><h2 id="Configuration-priority"><a class="docs-heading-anchor" href="#Configuration-priority">Configuration priority</a><a id="Configuration-priority-1"></a><a class="docs-heading-anchor-permalink" href="#Configuration-priority" title="Permalink"></a></h2><p>When multiple configuration sources are present, they are merged in priority order (highest first):</p><ol><li>File-based configuration (<code>.JETLSConfig.toml</code>)</li><li>Editor configuration via LSP (<code>workspace/configuration</code>)</li><li>Built-in defaults</li></ol><p>File-based configuration (<code>.JETLSConfig.toml</code>) takes precedence as it provides a <strong>client-agnostic</strong> way to configure JETLS that works consistently across all editors.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../testrunner/">« TestRunner integration</a><a class="docs-footer-nextpage" href="../launching/">Launching »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.16.0 on <span class="colophon-date" title="Saturday 15 November 2025 11:05">Saturday 15 November 2025</span>. Using Julia version 1.12.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
73+
}</code></pre><h2 id="Configuration-priority"><a class="docs-heading-anchor" href="#Configuration-priority">Configuration priority</a><a id="Configuration-priority-1"></a><a class="docs-heading-anchor-permalink" href="#Configuration-priority" title="Permalink"></a></h2><p>When multiple configuration sources are present, they are merged in priority order (highest first):</p><ol><li>File-based configuration (<code>.JETLSConfig.toml</code>)</li><li>Editor configuration via LSP (<code>workspace/configuration</code>)</li><li>Built-in defaults</li></ol><p>File-based configuration (<code>.JETLSConfig.toml</code>) takes precedence as it provides a <strong>client-agnostic</strong> way to configure JETLS that works consistently across all editors.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../testrunner/">« TestRunner integration</a><a class="docs-footer-nextpage" href="../launching/">Launching »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.16.0 on <span class="colophon-date" title="Saturday 15 November 2025 11:17">Saturday 15 November 2025</span>. Using Julia version 1.12.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/diagnostics/index.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

dev/formatting/index.html

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

dev/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,4 +27,4 @@
2727
language-servers = [ &quot;jetls&quot; ]
2828

2929
[language-server]
30-
jetls = { command = &quot;julia&quot;, args = [&quot;--startup-file=no&quot;, &quot;--history-file=no&quot;, &quot;--project=/path/to/JETLS.jl&quot;, &quot;--threads=auto&quot;, &quot;/path/to/JETLS.jl/runserver.jl&quot;] }</code></pre><h2 id="Quick-links"><a class="docs-heading-anchor" href="#Quick-links">Quick links</a><a id="Quick-links-1"></a><a class="docs-heading-anchor-permalink" href="#Quick-links" title="Permalink"></a></h2><ul><li><a href="configuration/#JETLS-configuration">JETLS configuration</a></li><li class="no-marker"><ul><li><a href="configuration/#Available-configurations">Available configurations</a></li><li><a href="configuration/#How-to-configure-JETLS">How to configure JETLS</a></li><li><a href="configuration/#Configuration-priority">Configuration priority</a></li></ul></li><li><a href="diagnostics/#Diagnostics">Diagnostics</a></li><li class="no-marker"><ul><li><a href="diagnostics/#Diagnostic-codes">Diagnostic codes</a></li><li><a href="diagnostics/#severity-level">Diagnostic severity levels</a></li><li><a href="diagnostics/#Diagnostic-reference">Diagnostic reference</a></li><li><a href="diagnostics/#Configuring-diagnostics">Configuring diagnostics</a></li></ul></li><li><a href="formatting/#Formatting">Formatting</a></li><li class="no-marker"><ul><li><a href="formatting/#Features">Features</a></li><li><a href="formatting/#Prerequisites">Prerequisites</a></li><li><a href="formatting/#Formatter-configuration">Formatter configuration</a></li><li><a href="formatting/#Troubleshooting">Troubleshooting</a></li></ul></li><li><a href="#JETLS.jl-documentation">JETLS.jl documentation</a></li><li class="no-marker"><ul><li><a href="#Getting-started">Getting started</a></li><li><a href="#Quick-links">Quick links</a></li></ul></li><li><a href="launching/#Launching-JETLS">Launching JETLS</a></li><li class="no-marker"><ul><li><a href="launching/#Using-runserver.jl">Using runserver.jl</a></li><li><a href="launching/#Communication-channels">Communication channels</a></li><li><a href="launching/#Client-process-monitoring">Client process monitoring</a></li></ul></li><li><a href="testrunner/#TestRunner-integration">TestRunner integration</a></li><li class="no-marker"><ul><li><a href="testrunner/#Prerequisites">Prerequisites</a></li><li><a href="testrunner/#Features">Features</a></li><li><a href="testrunner/#Supported-patterns">Supported patterns</a></li><li><a href="testrunner/#Troubleshooting">Troubleshooting</a></li></ul></li></ul></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="diagnostics/">Diagnostics »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.16.0 on <span class="colophon-date" title="Saturday 15 November 2025 11:05">Saturday 15 November 2025</span>. Using Julia version 1.12.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
30+
jetls = { command = &quot;julia&quot;, args = [&quot;--startup-file=no&quot;, &quot;--history-file=no&quot;, &quot;--project=/path/to/JETLS.jl&quot;, &quot;--threads=auto&quot;, &quot;/path/to/JETLS.jl/runserver.jl&quot;] }</code></pre><h2 id="Quick-links"><a class="docs-heading-anchor" href="#Quick-links">Quick links</a><a id="Quick-links-1"></a><a class="docs-heading-anchor-permalink" href="#Quick-links" title="Permalink"></a></h2><ul><li><a href="configuration/#JETLS-configuration">JETLS configuration</a></li><li class="no-marker"><ul><li><a href="configuration/#Available-configurations">Available configurations</a></li><li><a href="configuration/#How-to-configure-JETLS">How to configure JETLS</a></li><li><a href="configuration/#Configuration-priority">Configuration priority</a></li></ul></li><li><a href="diagnostics/#Diagnostics">Diagnostics</a></li><li class="no-marker"><ul><li><a href="diagnostics/#Diagnostic-codes">Diagnostic codes</a></li><li><a href="diagnostics/#severity-level">Diagnostic severity levels</a></li><li><a href="diagnostics/#Diagnostic-reference">Diagnostic reference</a></li><li><a href="diagnostics/#Configuring-diagnostics">Configuring diagnostics</a></li></ul></li><li><a href="formatting/#Formatting">Formatting</a></li><li class="no-marker"><ul><li><a href="formatting/#Features">Features</a></li><li><a href="formatting/#Prerequisites">Prerequisites</a></li><li><a href="formatting/#Formatter-configuration">Formatter configuration</a></li><li><a href="formatting/#Troubleshooting">Troubleshooting</a></li></ul></li><li><a href="#JETLS.jl-documentation">JETLS.jl documentation</a></li><li class="no-marker"><ul><li><a href="#Getting-started">Getting started</a></li><li><a href="#Quick-links">Quick links</a></li></ul></li><li><a href="launching/#Launching-JETLS">Launching JETLS</a></li><li class="no-marker"><ul><li><a href="launching/#Using-runserver.jl">Using runserver.jl</a></li><li><a href="launching/#Communication-channels">Communication channels</a></li><li><a href="launching/#Client-process-monitoring">Client process monitoring</a></li></ul></li><li><a href="testrunner/#TestRunner-integration">TestRunner integration</a></li><li class="no-marker"><ul><li><a href="testrunner/#Prerequisites">Prerequisites</a></li><li><a href="testrunner/#Features">Features</a></li><li><a href="testrunner/#Supported-patterns">Supported patterns</a></li><li><a href="testrunner/#Troubleshooting">Troubleshooting</a></li></ul></li></ul></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="diagnostics/">Diagnostics »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.16.0 on <span class="colophon-date" title="Saturday 15 November 2025 11:17">Saturday 15 November 2025</span>. Using Julia version 1.12.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

0 commit comments

Comments
 (0)