Piotr Osiewicz
c9534e8025
chore: Use workspace fields for edition and publish ( #23291 )
...
This prepares us for an upcoming bump to Rust 2024 edition.
Release Notes:
- N/A
2025-01-17 17:39:22 +01:00
Nils Koch
a1ef1d3f76
Add syntax highlighting for character literals in Haskell, PureScript, and Zig ( #22609 )
...
Closes #22480
Release Notes:
- N/A
| Before | After |
|----------|----------|
| <img width="344" alt="before"
src="https://github.com/user-attachments/assets/37f8daf7-c9a0-4259-8c03-bd1a4479abca "
/> | <img width="344" alt="after"
src="https://github.com/user-attachments/assets/0f7e4429-e48b-4b32-9797-a0da8487e23e "
/> |
Zig, Haskel, and PureScript define a character caputure name in
`highlights.scm`, but we did not define a color for that capture name in
the themes. The new character color is the same as the string color in
all themes.
---------
Co-authored-by: Marshall Bowers <elliott.codes@gmail.com>
2025-01-03 20:51:43 +00:00
Marshall Bowers
1f0b7d45ff
extensions: Upgrade zed_extension_api to v0.1.0 ( #16955 )
...
This PR updates the `zed_extension_api` to v0.1.0 for the extensions
that live in this repo.
The changes in that version of additive, so none of the extensions need
to change their usage in order to upgrade.
Release Notes:
- N/A
2024-08-27 12:00:43 -04:00
Marshall Bowers
8ba392bba6
purescript: Upgrade zed_extension_api to v0.0.6 ( #15181 )
...
This PR upgrades the PureScript extension to use v0.0.6 of the
`zed_extension_api`.
Release Notes:
- N/A
2024-07-25 08:55:16 -04:00
Marshall Bowers
181dc86b48
Fix typo in PureScript extension's struct name ( #9831 )
...
This PR fixes a copy/paste typo in the name of the PureScript
extension's struct name.
Release Notes:
- N/A
2024-03-26 16:29:55 -04:00
Marshall Bowers
b8ef97015c
Extract PureScript support into an extension ( #9824 )
...
This PR extracts PureScript support into an extension and removes the
built-in PureScript support from Zed.
Release Notes:
- Removed built-in support for PureScript, in favor of making it
available as an extension. The PureScript extension will be suggested
for download when you open a `.purs` file.
2024-03-26 13:55:46 -04:00
