Skip to content
This repository has been archived by the owner on Nov 19, 2024. It is now read-only.

Shorten the names of the tabs #691

Merged
merged 2 commits into from
Jun 2, 2023
Merged

Shorten the names of the tabs #691

merged 2 commits into from
Jun 2, 2023

Conversation

uhafner
Copy link
Member

@uhafner uhafner commented May 27, 2023

On small displays the tab names are too long.

Bildschirmfoto 2023-05-27 um 13 03 34

@uhafner uhafner added the bug Bugs or performance problems label May 27, 2023
@codecov
Copy link

codecov bot commented May 27, 2023

Codecov Report

Merging #691 (ab9a753) into master (353bb57) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##             master     #691   +/-   ##
=========================================
  Coverage     73.38%   73.38%           
  Complexity     1667     1667           
=========================================
  Files           129      129           
  Lines          6240     6240           
  Branches        669      669           
=========================================
  Hits           4579     4579           
  Misses         1439     1439           
  Partials        222      222           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@uhafner uhafner changed the title Shorten the name of the tabs Shorten the names of the tabs May 29, 2023
@uhafner uhafner merged commit e85eb4b into master Jun 2, 2023
@uhafner uhafner deleted the cleanup-layout branch June 2, 2023 21:19
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
bug Bugs or performance problems
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant