comp.lang.ada
 help / color / mirror / Atom feed
* Ann: VSCode extension - Ada Utilities
@ 2019-11-14 18:10 Lucretia
  2019-11-14 21:19 ` Randy Brukardt
  0 siblings, 1 reply; 6+ messages in thread
From: Lucretia @ 2019-11-14 18:10 UTC (permalink / raw)


Hi,

Ovr the last few days, I've knocked together a VSCode extension to make my life a bit easier, I think others might like it, just copy it in the extensions directory, I've not got it on the marketplace yet.

https://github.com/Lucretia/ada-utilities


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: VSCode extension - Ada Utilities
  2019-11-14 18:10 Ann: VSCode extension - Ada Utilities Lucretia
@ 2019-11-14 21:19 ` Randy Brukardt
  2019-11-14 23:34   ` Lucretia
  2019-11-15  0:01   ` Jere
  0 siblings, 2 replies; 6+ messages in thread
From: Randy Brukardt @ 2019-11-14 21:19 UTC (permalink / raw)


Could you be a bit clearer: what is a "VSCode extension"?? - Randy.

"Lucretia" <laguest9000@googlemail.com> wrote in message 
news:fb7d566a-d356-44c4-888a-12af6a697698@googlegroups.com...
> Hi,
>
> Ovr the last few days, I've knocked together a VSCode extension to make my 
> life a bit easier, I think others might like it, just copy it in the 
> extensions directory, I've not got it on the marketplace yet.
>
> https://github.com/Lucretia/ada-utilities 



^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: VSCode extension - Ada Utilities
  2019-11-14 21:19 ` Randy Brukardt
@ 2019-11-14 23:34   ` Lucretia
  2019-11-15  0:01   ` Jere
  1 sibling, 0 replies; 6+ messages in thread
From: Lucretia @ 2019-11-14 23:34 UTC (permalink / raw)


On Thursday, 14 November 2019 21:19:13 UTC, Randy Brukardt  wrote:
> Could you be a bit clearer: what is a "VSCode extension"?? - Randy.

It's something that extends VSCode, obviously. This one adds a few commands, menu items and tasks.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: VSCode extension - Ada Utilities
  2019-11-14 21:19 ` Randy Brukardt
  2019-11-14 23:34   ` Lucretia
@ 2019-11-15  0:01   ` Jere
  2019-11-17  5:16     ` Randy Brukardt
  1 sibling, 1 reply; 6+ messages in thread
From: Jere @ 2019-11-15  0:01 UTC (permalink / raw)


On Thursday, November 14, 2019 at 4:19:13 PM UTC-5, Randy Brukardt wrote:
> Could you be a bit clearer: what is a "VSCode extension"?? - Randy.
> 
> "Lucretia"  wrote in message 
> 
> > Hi,
> >
> > Ovr the last few days, I've knocked together a VSCode extension to make my 
> > life a bit easier, I think others might like it, just copy it in the 
> > extensions directory, I've not got it on the marketplace yet.
> >
> > https://github.com/Lucretia/ada-utilities

VSCode is an open source text editor/minimalist IDE (think notepad++ maybe?) 
provided by microsoft.  It has an extension API so developers can add various 
types of language support and utilities to it (this allows you to customize it 
to be more like a traditional IDE if you like or do whatever you want with it).  
I use it a lot for Ada development.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: VSCode extension - Ada Utilities
  2019-11-15  0:01   ` Jere
@ 2019-11-17  5:16     ` Randy Brukardt
  2019-11-17 12:09       ` briot.emmanuel
  0 siblings, 1 reply; 6+ messages in thread
From: Randy Brukardt @ 2019-11-17  5:16 UTC (permalink / raw)


"Jere" <jhb.chat@gmail.com> wrote in message 
news:a13c9d43-2657-4354-8b21-966031214c75@googlegroups.com...
> On Thursday, November 14, 2019 at 4:19:13 PM UTC-5, Randy Brukardt wrote:
>> Could you be a bit clearer: what is a "VSCode extension"?? - Randy.
>>
>> "Lucretia"  wrote in message
>>
>> > Hi,
>> >
>> > Ovr the last few days, I've knocked together a VSCode extension to make 
>> > my
>> > life a bit easier, I think others might like it, just copy it in the
>> > extensions directory, I've not got it on the marketplace yet.
>> >
>> > https://github.com/Lucretia/ada-utilities
>
> VSCode is an open source text editor/minimalist IDE (think notepad++ 
> maybe?)
> provided by microsoft.  It has an extension API so developers can add 
> various
> types of language support and utilities to it (this allows you to 
> customize it
> to be more like a traditional IDE if you like or do whatever you want with 
> it).
> I use it a lot for Ada development.

Thanks. It's hard to know whether something is of general interest when it 
seems to be described in code. Not everyone has heard of your (generic 
"your" here) favorite coding tool...

                                            Randy.



^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: VSCode extension - Ada Utilities
  2019-11-17  5:16     ` Randy Brukardt
@ 2019-11-17 12:09       ` briot.emmanuel
  0 siblings, 0 replies; 6+ messages in thread
From: briot.emmanuel @ 2019-11-17 12:09 UTC (permalink / raw)


> Thanks. It's hard to know whether something is of general interest when it 
> seems to be described in code. Not everyone has heard of your (generic 
> "your" here) favorite coding tool...


Visual Studio Code is actually worth knowing about. I haven't used it myself,
but the reason it is interesting is that it has come with a new protocol named
the Language Server Protocol that is used by a lot of editors/IDEs nowadays to
do things like cross-reference queries ("go to declaration of", "find all references") to refactoring ("rename an entity"), and more.

To the point that most languages nowadays come with such a server (Ada has one based on libadalang, too). Those servers can be queried from vim (which I use),
from Emacs (Stephen has started looking into that for ada-mode, as per a discussion two weeks ago), from GPS (where the Ada language server comes from), Visual Studio Code, and a lot of others.

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2019-11-17 12:09 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-14 18:10 Ann: VSCode extension - Ada Utilities Lucretia
2019-11-14 21:19 ` Randy Brukardt
2019-11-14 23:34   ` Lucretia
2019-11-15  0:01   ` Jere
2019-11-17  5:16     ` Randy Brukardt
2019-11-17 12:09       ` briot.emmanuel

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox