From: Gautier write-only address <gautier_niouzes@hotmail.com>
Subject: Re: Ann: LEA v.0.87
Date: Wed, 31 May 2023 20:18:57 -0700 (PDT) [thread overview]
Message-ID: <9c0381e2-1a47-47a5-91fa-a30cee3c63a7n@googlegroups.com> (raw)
In-Reply-To: <u543j7$kh9$1@shakotay.alphanet.ch>
> > 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.
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.
> > ALS: = Ada language server?
> That's it. Auto-completion and mouse-over documentation in LEA.
Also added to the to-do list.
next prev parent reply other threads:[~2023-06-01 3:18 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 [this message]
2023-06-01 7:17 ` DrPi
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