Search results

Extension changes syntax highlighting across all languages

Status: Open.

#160 In anoma/vscode-juvix;

· lachrist opened on May 27, 2025

The default Package.juvix template code is wrong

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#159 In anoma/vscode-juvix;

· lukaszcz opened on May 5, 2025

The extension complains that Juvix is not installed when you have a different Juvix version

bugSomething isn't workingSomething isn't working

high-priority

Status: Open.

Bug

#156 In anoma/vscode-juvix;

· lukaszcz opened on Feb 6, 2025

·  

0.2.7

markdown syntax highlight broken

Status: Open.

#151 In anoma/vscode-juvix;

· tg-x opened on Sep 14, 2024

Changing the typecheckOn option requires restarting the extension for the option to take effect

Status: Open.

#149 In anoma/vscode-juvix;

· lukaszcz opened on Sep 6, 2024

The pop-up for function identifiers should show the type of the identifier

enhancementNew feature or requestNew feature or request

Status: Open.

#128 In anoma/vscode-juvix;

· lukaszcz opened on May 9, 2024

Extension causes high cpu load

high-priority

Status: Open.

#126 In anoma/vscode-juvix;

· jonaprieto opened on Nov 21, 2023

Version in the status bar never gets updated during a session

bugSomething isn't workingSomething isn't working

Status: Open.

#108 In anoma/vscode-juvix;

· jonaprieto opened on Jun 7, 2023

Add registerSignatureHelpProvider to prompt function signature

Status: Open.

#97 In anoma/vscode-juvix;

· jonaprieto opened on Jun 1, 2023

Local let-bound variables are coloured as if they were global identifiers

Status: Open.

#94 In anoma/vscode-juvix;

· lukaszcz opened on May 31, 2023

Highlighting is extremely slow

bugSomething isn't workingSomething isn't working

high-priority

Status: Open.

#79 In anoma/vscode-juvix;

· lukaszcz opened on May 17, 2023

Highlighting disappears while typing

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

high-priority

syntax-highlighting

Status: Open.

#44 In anoma/vscode-juvix;

· lukaszcz opened on Feb 16, 2023