[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#71338: closed (30.0.50; [PATCH] Support ada-ts-mode, gpr-mode and gp
From: |
GNU bug Tracking System |
Subject: |
bug#71338: closed (30.0.50; [PATCH] Support ada-ts-mode, gpr-mode and gpr-ts-mode in Eglot) |
Date: |
Mon, 03 Jun 2024 16:15:03 +0000 |
Your message dated Mon, 03 Jun 2024 12:00:26 -0400
with message-id <yp1sexunhid.fsf@fencepost.gnu.org>
and subject line Re: bug#71338: 30.0.50; [PATCH] Support ada-ts-mode, gpr-mode
and gpr-ts-mode in Eglot
has caused the debbugs.gnu.org bug report #71338,
regarding 30.0.50; [PATCH] Support ada-ts-mode, gpr-mode and gpr-ts-mode in
Eglot
to be marked as done.
(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)
--
71338: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71338
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message ---
Subject: |
30.0.50; [PATCH] Support ada-ts-mode, gpr-mode and gpr-ts-mode in Eglot |
Date: |
Mon, 3 Jun 2024 08:20:06 -0400 |
The following patch adds support within Eglot for ada-ts-mode,
gpr-mode and gpr-ts-mode. Note that the Ada language server supports
Ada by default but supports GNAT Project if the "--language-gpr"
option is specified.
0001-Support-ada-ts-mode-gpr-mode-and-gpr-ts-mode-in-Eglo.patch
Description: Text Data
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#71338: 30.0.50; [PATCH] Support ada-ts-mode, gpr-mode and gpr-ts-mode in Eglot |
Date: |
Mon, 03 Jun 2024 12:00:26 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
João Távora <joaotavora@gmail.com> writes:
> Looks fine. These changes to the DB can go without my
> approval. Ideally it'd be code in the major modes setting
> some Eglot specific variable, but I'm not working on it.
Okay cool, pushed and closing.
Thanks
Andrea
--- End Message ---
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#71338: closed (30.0.50; [PATCH] Support ada-ts-mode, gpr-mode and gpr-ts-mode in Eglot),
GNU bug Tracking System <=