Skip to content

Updated the documentation for Nova Language Client#2830

Merged
dantleech merged 2 commits intophpactor:masterfrom
EmranMR:master
Jan 27, 2025
Merged

Updated the documentation for Nova Language Client#2830
dantleech merged 2 commits intophpactor:masterfrom
EmranMR:master

Conversation

@EmranMR
Copy link
Contributor

@EmranMR EmranMR commented Jan 27, 2025

Hi @dantleech 👋

I just wrote an extension porting your Language Server to Nova Code Editor. As such, I just updated the documentation with the links to the extension library!

P.S please double-check my commit here, I have no idea what the .rst files are, so I just freewheeled by looking at the docs 😅

Thanks!
Emran

.gitignore Outdated
/phpactor.schema.json
/lib/Extension/WorseReflection/stubs
/.phpbench
.nova
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

please remove this and consider using a global git ignore file 🙂

doc/lsp/nova.rst Outdated
.. _lsp_client_nova:

Nova Code Editor
=======
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the number of = characters should match the length of the title:

Nova Code Editor
================

Phpactor is known to work as a language server for Emacs_, Kate_, Sublime_, Helix_ and many others, feel free to contribute setup guides for these editors to this documentation.

.. _vscode-phpactor: https://github.com/phpactor/vscode-phpactor
.. _PHPactor: https://extensions.panic.com/extensions/emran-mr/emran-mr.phpactor/
Copy link
Collaborator

@dantleech dantleech Jan 27, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's Phpactor but please reference it as Nova

@EmranMR
Copy link
Contributor Author

EmranMR commented Jan 27, 2025

@dantleech All done!
Also thanks for the:

please remove this and consider using a global git ignore file 🙂

After all these years, I did not know this was possible 😅, super handy!

One more question:

It's Phpactor but please reference it as Nova

I am going to change the Extension Name and API to match this, however, for my reference, is it Phpactor or phpactor?

@dantleech dantleech merged commit 3a0ca90 into phpactor:master Jan 27, 2025
10 of 11 checks passed
@dantleech
Copy link
Collaborator

thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants