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

Stability issues and future package dev #30

Open
smishr opened this issue Mar 3, 2023 · 2 comments
Open

Stability issues and future package dev #30

smishr opened this issue Mar 3, 2023 · 2 comments

Comments

@smishr
Copy link

smishr commented Mar 3, 2023

Hi all,

I have started using v0.1.2 extension for Pluto inside VScode, but it sometimes deletes the current active cell after CMD+s saving, or when the cell results in Multiple definitions error for notebook. After CMD+s message popups on top right side saying "File change detected, notebook updated", with the line I have been currently typing in deleted.

Replication

see above description

System

  • MacOS 13.2.1 (22D68)
  • Julia 1.8.5 (not 1.5-1.7 which is recommended in the instructions)
  • VS Code version 1.75.1
  • add Pluto#vscode-webview-proxy

As I was using this extension, I am wondering if it better to simply use Pluto notebooks in browser, and not in VSCode. Is there plan to develop and maintain this extension or bring it out of alpha preview (there havent been any PRs in over a year)?

@fonsp
Copy link
Contributor

fonsp commented Mar 7, 2023

Hey @smishr!

Thanks for your interest! Development of this extension in on hold because we need fonsp/Pluto.jl#2296 on the Pluto.jl side to overcome a big UX problem in the extension related to unsaved content and saving with Cmd+S. So while this repository looks inactive, we are still sort-of-actively working on the Pluto changes necessary for this extension.

@smishr
Copy link
Author

smishr commented Mar 7, 2023

Hey @smishr!

Thanks for your interest! Development of this extension in on hold because we need fonsp/Pluto.jl#2296 on the Pluto.jl side to overcome a big UX problem in the extension related to unsaved content and saving with Cmd+S. So while this repository looks inactive, we are still sort-of-actively working on the Pluto changes necessary for this extension.

Thanks for the update @fonsp

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

2 participants