diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-06-19 17:50:01 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-19 17:50:01 -0400 |
| commit | 0f4e59a46447c9f6514f3f9403a5dcaf6552fdac (patch) | |
| tree | 4a212264d20d695d7c06298d89f515862b5e5aa5 /components/script/microtask.rs | |
| parent | d71847b2bf400820ad9f5b26a077296b9ca8b921 (diff) | |
| parent | c722b5fdca6d6552dec9debcbc55212066286e1c (diff) | |
| download | servo-0f4e59a46447c9f6514f3f9403a5dcaf6552fdac.tar.gz servo-0f4e59a46447c9f6514f3f9403a5dcaf6552fdac.zip | |
Auto merge of #26985 - paulrouget:gridview, r=jdm
UWP console: better output + JS input
This adds a textbox to enter javascript, and also redesign the output with better XAML controls.
<img width="656" alt="Screen Shot 2020-06-19 at 08 05 50" src="https://user-images.githubusercontent.com/373579/85102037-08794500-b204-11ea-892b-69f436846499.png">
Diffstat (limited to 'components/script/microtask.rs')
0 files changed, 0 insertions, 0 deletions