diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-09-11 23:46:48 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-11 23:46:48 -0400 |
commit | f2b6cb77f2b00cd0a0e80d9930e8f603fd430370 (patch) | |
tree | 87bcbe51b821181f5c4bfc035cd58af5eb06b685 /python/servo/packages.py | |
parent | 4e9967b43e28ecff566678a34b3e0ce839dd644f (diff) | |
parent | 19d961626ba5c30b7d063dcd4093bae79e40e016 (diff) | |
download | servo-f2b6cb77f2b00cd0a0e80d9930e8f603fd430370.tar.gz servo-f2b6cb77f2b00cd0a0e80d9930e8f603fd430370.zip |
Auto merge of #24126 - paulrouget:ui++, r=jdm
Make the HoloLens UI look better
Throbber, icons, tooltips, alignment, etc...
Based on top of #24125
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/24126)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/packages.py')
0 files changed, 0 insertions, 0 deletions