Skip to content

Misc improvements, mostly for iOS polish#837

Merged
kevinaboos merged 2 commits intoproject-robius:mainfrom
kevinaboos:more_fixes
Apr 29, 2026
Merged

Misc improvements, mostly for iOS polish#837
kevinaboos merged 2 commits intoproject-robius:mainfrom
kevinaboos:more_fixes

Conversation

@kevinaboos
Copy link
Copy Markdown
Member

  • Make nav bar & spaces bar smaller, they were too large, which looked especially bad on mobile.
  • Simplify spaces bar status label, whilst adding more details. It's also more efficient now to generate.
  • Add a backing svg behind the verification badge such that the cutouf icon (checkmark, exclamation mark) are white
  • add iOS-specific packaging icons, required for app store
  • remove unneeded padding in home screen / main desktop ui
  • Fix html stuff throughout makepad, adjust robrix to support it
  • update welcome screen since we offer a lot more features now.

* Make nav bar & spaces bar smaller, they were too large,
  which looked especially bad on mobile.
* Simplify spaces bar status label, whilst adding more details.
  It's also more efficient now to generate.
* Add a backing svg behind the verification badge such that the
  cutouf icon (checkmark, exclamation mark) are white
* add iOS-specific packaging icons, required for app store
* remove unneeded padding in home screen / main desktop ui
* Fix html stuff throughout makepad, adjust robrix to support it
* update welcome screen since we offer a lot more features now.
@kevinaboos kevinaboos merged commit b7e1313 into project-robius:main Apr 29, 2026
11 checks passed
@kevinaboos kevinaboos deleted the more_fixes branch April 29, 2026 18:21
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.

1 participant