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

Add a viewport visualisation #155

Closed
rladstaetter opened this issue Oct 2, 2023 · 3 comments · Fixed by #233
Closed

Add a viewport visualisation #155

rladstaetter opened this issue Oct 2, 2023 · 3 comments · Fixed by #233
Assignees
Labels
usability issues which improve LogoRRR's usability
Milestone

Comments

@rladstaetter
Copy link
Owner

rladstaetter commented Oct 2, 2023

Is your feature request related to a problem? Please describe.

The currently visible text should be marked also graphically in some manner and change dynamically

  • when a new active square is selected in the left view
  • when the current visible text is changed via the vertical scrollbar

Describe the solution you'd like

The squares which are visible should be highlighted in some manner.

@rladstaetter
Copy link
Owner Author

@rladstaetter rladstaetter self-assigned this Nov 11, 2023
@rladstaetter rladstaetter added this to the 24.1.0 milestone Nov 11, 2023
@rladstaetter rladstaetter added the usability issues which improve LogoRRR's usability label Nov 11, 2023
@rladstaetter
Copy link
Owner Author

Seems I'm hitting a problem here: https://bugs.openjdk.org/browse/JDK-8090386 - have to see if there is a workaround (?)

@rladstaetter rladstaetter removed this from the 24.1.0 milestone Nov 13, 2023
@rladstaetter rladstaetter added this to the 24.4.0 milestone May 3, 2024
@rladstaetter rladstaetter linked a pull request May 11, 2024 that will close this issue
rladstaetter added a commit that referenced this issue May 11, 2024
…ation

#155: adds viewport visualisation to LogoRRR
@rladstaetter
Copy link
Owner Author

See https://youtu.be/zMcCZUIKvd8 for a small screencast of this feature.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
usability issues which improve LogoRRR's usability
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant