From: DrPi <314@drpi.fr>
Subject: Re: Ann: LEA v.0.87
Date: Wed, 13 Sep 2023 22:12:40 +0200 [thread overview]
Message-ID: <udt53q$79m$1@shakotay.alphanet.ch> (raw)
In-Reply-To: <7d1817b8-cb28-4cda-ab5c-0b271cf74ee8n@googlegroups.com>
Le 13/09/2023 à 21:23, Gautier write-only address a écrit :
> Le mardi 30 mai 2023 à 08:03:22 UTC+2, DrPi a écrit :
>> That's it. Auto-completion and mouse-over documentation in LEA.
>
> Some news: mouse-over documentation is implemented, as well as a "go to declaration" context menu entry :-)
That's great news :)
next prev parent reply other threads:[~2023-09-13 20:12 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
2023-09-13 19:23 ` Gautier write-only address
2023-09-13 20:12 ` DrPi [this message]
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