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

feat: Improve diagram cache margins on mobile phones #1032

Merged
merged 1 commit into from
Oct 10, 2023

Conversation

MoritzWeber0
Copy link
Member

The diagram overview and diagram viewer makes now full use of the available space on mobile phones.
As the previous way to close the diagram by just pressing next to it it not available anymore (there are no margins),
there is a new sticky close button on mobile phones.

The UI on devices with wider screens (>=1024px) doesn't change.

Thanks to @vik378 for proposing this improvement.

A screenshot of the new UI (grey area is outside of the device screen):

image

The diagram overview and diagram viewer makes now full use
of the available space on mobile phones.
As the previous way to close the diagram by just pressing next to it
it not available anymore (there are no margins),
there is a new sticky close button on mobile phones.

The UI on devices with wider screens (>=1024px) doesn't change.
@codecov
Copy link

codecov bot commented Sep 20, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (10b969e) 71.14% compared to head (350617c) 71.14%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1032   +/-   ##
=======================================
  Coverage   71.14%   71.14%           
=======================================
  Files         154      154           
  Lines        4820     4820           
  Branches      513      513           
=======================================
  Hits         3429     3429           
  Misses       1294     1294           
  Partials       97       97           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@MoritzWeber0 MoritzWeber0 requested review from dominik003 and removed request for dominik003 October 9, 2023 08:24
Copy link
Contributor

@dominik003 dominik003 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! Nice improvement

@MoritzWeber0 MoritzWeber0 merged commit 1e68933 into main Oct 10, 2023
23 checks passed
@MoritzWeber0 MoritzWeber0 deleted the better-mobile-space-usage branch October 10, 2023 06:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants