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

Minimap Usability #15

Open
5 of 6 tasks
Tracked by #2
ckitsanelis opened this issue May 11, 2023 · 2 comments
Open
5 of 6 tasks
Tracked by #2

Minimap Usability #15

ckitsanelis opened this issue May 11, 2023 · 2 comments
Labels
enhancement New feature or request

Comments

@ckitsanelis
Copy link
Collaborator

ckitsanelis commented May 11, 2023

  • Scrolling should be possible by rotating the mouse wheel, whereas zooming should be done by pressing the Control key while rotating the mouse wheel
  • Minimap windowview should respond to changes to the Logfile (e.g. after a search & filter)
  • When navigating the minimap, it should be possible to “jump to the next state change”​
  • Enable scrolling by dragging the grey bar in the minimap Navigate by clicking in the minimap (see comment below)
  • It would be useful if the user can inspect the value that underlies a color cell in the minimap by hovering over it with the mouse
  • Adjust the width of the minimap depending on how many columns are visible
@ckitsanelis ckitsanelis mentioned this issue May 11, 2023
4 tasks
@ckitsanelis ckitsanelis changed the title in the minimap, scrolling should be possible by rotating the mouse wheel, whereas zooming should be done by pressing the Control key while rotating the mouse wheel Minimap Usability May 11, 2023
@dennisrd
Copy link
Collaborator

dennisrd commented Jun 16, 2023

@ckitsanelis, not sure whether the second point (Minimap windowview should respond to changes to the Logfile (e.g. after a search & filter)) is still an issue, need to discuss.

@dennisrd
Copy link
Collaborator

About the 3rd point (Enable scrolling by dragging the grey bar in the minimap): when the minimap is zoomed out, the grey bar may become very thin, and thus difficult to click on in order to drag it. Also, when the minimap is zoomed in all the way, the grey bar has the same height as the minimap area, and then scroll-by-dragging it is not intuitive.
After some discussion with @lunalixxi, the decision is to implement another feature to allow easier navigation: by (left-)clicking somewhere in the minimap, the view will jump to that point.

@NuukPrime NuukPrime added the enhancement New feature or request label Sep 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants