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

Improve the reference panel #925

Closed
vkbo opened this issue Nov 7, 2021 · 3 comments · Fixed by #1606
Closed

Improve the reference panel #925

vkbo opened this issue Nov 7, 2021 · 3 comments · Fixed by #1606
Assignees
Labels
enhancement Request: New feature or improvement planned Note: Feature planned for a later release user interface Component: General user interface

Comments

@vkbo
Copy link
Owner

vkbo commented Nov 7, 2021

The reference panel below the document viewer could do with a bit of an update. It is a very old feature that hasn't been given much attention since it was first added. It is a bit confusing, and so are the two buttons "References" and "Sticky" associated with it. See comments in #923.

I propose to:

  • Add a more obvious show/hide button for the panel.
  • Move the "Sticky" button into the panel itself, and add a descriptive heading on the panel with the sticky button next to it.
  • Add some placeholder text in the case where there are no references to show.
  • Consider changing how the references are listed, perhaps with a compact/detailed view option.
@vkbo vkbo added the enhancement Request: New feature or improvement label Nov 7, 2021
@vkbo vkbo added this to the Future Release milestone Nov 7, 2021
@vkbo vkbo self-assigned this Nov 7, 2021
@tmarplatt
Copy link
Contributor

By default the open reference panel extends to considerable screen real estate, for what it currently holds. Can its height be dynamically set depending on its contents?

@vkbo
Copy link
Owner Author

vkbo commented Nov 8, 2021

The vertical size of the panel is adjustable. The default size is a proportion of the window height, but it should remember its previous setting after that.

@vkbo vkbo added the user interface Component: General user interface label Dec 31, 2021
@vkbo vkbo added the todo label May 31, 2022
@vkbo vkbo added planned Note: Feature planned for a later release and removed todo labels Apr 14, 2023
@vkbo
Copy link
Owner Author

vkbo commented Nov 15, 2023

If anyone's interested, I'm working on the new reference panel functionality for 2.2 now. Here's a video of the code so far. Still has a few issues, but mostly works as intended. This also demonstrates the auto-complete feature for references.

Screencast.from.2023-11-15.18-44-28.mp4

@vkbo vkbo linked a pull request Nov 16, 2023 that will close this issue
6 tasks
@vkbo vkbo closed this as completed Nov 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Request: New feature or improvement planned Note: Feature planned for a later release user interface Component: General user interface
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants