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.

Sign up for GitHub

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

Jump to bottom

Synchronize right-dock state in module metadata #9938

Closed
kazcw opened this issue May 13, 2024 · 1 comment · Fixed by #9990
Closed

Synchronize right-dock state in module metadata #9938

kazcw opened this issue May 13, 2024 · 1 comment · Fixed by #9990
Assignees
@Frizi
Labels
-gui d-easy Difficulty: little prior knowledge required p-high Should be completed in the next sprint
Milestone
Beta Release

Comments

@kazcw
Copy link
Contributor

kazcw commented May 13, 2024 •
edited by farmaazon

  • Store the docs-opening state in the same place where camera position is (per method)
  • If there is no info about it, just open the doc panel if there's any documentation to show.
  • We don't want to store it in the file, because it should not be synchronized between users.
@kazcw kazcw added the -gui label May 13, 2024
@farmaazon farmaazon added this to the Beta Release milestone May 14, 2024
@farmaazon farmaazon added p-high Should be completed in the next sprint d-easy Difficulty: little prior knowledge required labels May 14, 2024
@kazcw
Copy link
Contributor Author

kazcw commented May 14, 2024

We should also store right-dock width.

@Frizi Frizi self-assigned this May 14, 2024
@Frizi Frizi mentioned this issue May 17, 2024
Merged
4 tasks
@mergify mergify bot closed this as completed in #9990 May 27, 2024
mergify bot pushed a commit that referenced this issue May 27, 2024
@Frizi
Generalize keyed local storage for more client side graph-editor data (…
ca916b8 
…#9990)

Fixes #9938

The documentation panel openness and size state are saved in localStorage. On initial graph entry, the documentation panel is automatically opened if the graph's function is documented.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Frizi Frizi

Labels
-gui d-easy Difficulty: little prior knowledge required p-high Should be completed in the next sprint
Projects
Issues Board
Status: 🗄️ Archived
Milestone
Beta Release
Development

Successfully merging a pull request may close this issue.

Generalize keyed local storage for more client side graph-editor data enso-org/enso
3 participants
@Frizi @kazcw @farmaazon