-
Notifications
You must be signed in to change notification settings - Fork 4
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
All preferences and offline data for DevDocs are lost after VSCode restart #4
Comments
I have the same issue :( Are you open to PR? |
It does not appear to currently be possible to do this because:
Workarounds:
|
That's too bad. Another idea: Devdocs.io is open source, we could suggest a feature in which the initial configuration can be transmitted JSON encoded by pseudo-GET-parameter or in the hash part of the URI. Devdocs.io would then have to import the parameters during the initial load (As if the user had just 'imported' the setttings.) This would shift the initial configuration into vscode-devdocs settings. Unfortunately this would mean that you would have to manually update these settings when you want to change the devdocs.io settings. Syncing these settings wouldn't be possible as far as I can see. (Havin only little extension development experience.) |
Alternatively add an option to open the documentation in an external browser window. |
@cstuder Yeah, I considered the same thing, I actually looked into submitting a PR against devdocs to support non-cookie based storage of configuration, but it turned out to be a bit more complicated than I had hoped, so I didn't pursue it: freeCodeCamp/devdocs#199 I'm not sure it makes sense to open anything external in this particular extension, it's pretty focused on doing it inline - there is actually a second devdocs extension that does what you describe though (opens a search in a browser). |
I agree with what @jcw- said. I investigated some possible fixes including:
They've proven to be too much work for me and I unfortunately don't have enough free time for this. At this time I won't recommend using this extension any more. I moved on to using dash instead. Thanks for trying it out and sorry for the inconveniences. PLs are still welcome and I'll review and merge them whenever possible. |
There is also https://github.com/egoist/devdocs-desktop/ which has a global hotkey |
would the new move from previewHtml to webView (microsoft/vscode#62630) help in solving this issue? |
Hmm that needs to be done anyway since the previewHtml is deprecated. It has a If devdocs has an API to manage the cache though, the extension could use that to maintain the devdocs cache. That would be 💯 |
As far as I understand this is restriction imposed by
vscode.previewHtml
but still it has to be tackled somehow. Eithervscode.previewHtml
has to be extended/superseded (that's on VSCode side) or DevDocs settings has to be saved externally (on vscode-devdocs side) and passed to DevDocs when it's opened.This is really annoying issue and is a showstopper for me. :(
The text was updated successfully, but these errors were encountered: