Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

FR: provide OCamlPro.SuperBOL-mini #384

Open
GitMensch opened this issue Dec 13, 2024 · 0 comments
Open

FR: provide OCamlPro.SuperBOL-mini #384

GitMensch opened this issue Dec 13, 2024 · 0 comments

Comments

@GitMensch
Copy link
Contributor

OCamlPro.SuperBOL is nice and commonly usable.
It likely has some issues with vscode-web (see also #188), but even with a WASM server (which seems to be a long shot) it may not work in "minimal environments".

I'm currently having fun in a minimal reh environment where the remote extension host does not work.
At least in cases like this an OCamlPro.SuperBOL-mini would be nice to have a version that has no need to run there (=local editor). This would likely mean:

  • no native LSP interaction
  • using only the open editor window(s)

Can you provide an extension like this (=taking this one and deleting all parts that would need to run "wherever the code is", reducing it to the local editor? ... maybe solve #193 first as that is implicit about "using the editor window instead of files"...

This would mean at least:

  • minimal syntax highlighting
  • problem matchers
  • un/comment line/block
  • possibly snippets
  • possibly "go to definition" using regex (= no REPLACE/COPY support)
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

No branches or pull requests

1 participant