From: DrPi <314@drpi.fr>
Subject: Re: Ann: LEA v.0.87
Date: Thu, 1 Jun 2023 09:17:10 +0200 [thread overview]
Message-ID: <u59glo$77d$1@shakotay.alphanet.ch> (raw)
In-Reply-To: <9c0381e2-1a47-47a5-91fa-a30cee3c63a7n@googlegroups.com>
Le 01/06/2023 à 05:18, Gautier write-only address a écrit :
>>> Alire: are you missing a LEA crate?
>> Why not but I was thinking compiling/running Alire projects from LEA.
>
> Good idea! For instance the "Build & Run" command (the green button) would launch "alr run" in that context.
> Added to the to-do list.
>Plus a terminal window running Alire terminal to manage Alire projects
directly from LEA.
> Side note: a cool project would be a graphical tool, "Alire Explorer" (good name to be found) with buttons for the key Alire commands, a box displaying the contents of "alr show", ...
> Perhaps something to be made with GNOGA.
>
With a Alire project search feature to list Alire projects on a disk ?
>>> ALS: = Ada language server?
>> That's it. Auto-completion and mouse-over documentation in LEA.
>
> Also added to the to-do list.
This would be a very cool feature.
next prev parent reply other threads:[~2023-06-01 7:17 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-05-29 16:29 Ann: LEA v.0.87 Gautier write-only address
2023-05-29 19:56 ` DrPi
2023-05-30 5:27 ` Gautier write-only address
2023-05-30 6:03 ` DrPi
2023-06-01 3:18 ` Gautier write-only address
2023-06-01 7:17 ` DrPi [this message]
2023-09-13 19:23 ` Gautier write-only address
2023-09-13 20:12 ` DrPi
2023-06-09 21:41 ` Gautier write-only address
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox