aboutsummaryrefslogtreecommitdiffstats
path: root/support
Commit message (Collapse)AuthorAgeFilesLines
* clang-formatPhilip Lamb2020-12-171-2/+1
|
* Replace use of c++ keyword 'default' in c++ code and C APIs. Also correct ↵Philip Lamb2020-12-164-6/+6
| | | | obsolete use of qualified name in member declaration.
* Use new S3 bucketsSimon Sapin2020-11-113-3/+3
| | | | CC https://github.com/servo/project/issues/25
* Add time and app version to crash reportPaul Rouget2020-08-115-23/+93
|
* Auto merge of #27559 - servo:jdm-patch-46, r=jdmbors-servo2020-08-101-1/+1
|\ | | | | | | Update FxR version number.
| * Update FxR version number.Josh Matthews2020-08-101-1/+1
| |
* | Auto merge of #27556 - paulrouget:bookmarks, r=jdmbors-servo2020-08-1010-56/+374
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | | | | UWP Bookmarks Fix #27416 Bookmarks are saved in a JSON file. Clicking on the star icon add the bookmark and show a UI to edit the label or cancel the bookmark addition. Clicking on the star icon again allows the user to edit or remove the bookmark. A bookmark toolbar is displayed if there's any bookmark. <img width="471" alt="Screen Shot 2020-08-10 at 15 26 53" src="https://user-images.githubusercontent.com/373579/89791113-22a81300-db23-11ea-9d1a-9d90e1e62534.png"> <img width="978" alt="Screen Shot 2020-08-10 at 15 26 42" src="https://user-images.githubusercontent.com/373579/89791121-250a6d00-db23-11ea-9b42-6c155ccb2b42.png">
| * UWP: BookmarksPaul Rouget2020-08-1010-56/+374
| |
* | Auto merge of #27543 - paulrouget:strup, r=Manishearthbors-servo2020-08-071-1/+1
|\ \ | | | | | | | | | | | | | | | UWP: better pref label @Manishearth r?
| * | UWP: better pref labelPaul Rouget2020-08-071-1/+1
| |/
* | Auto merge of #27537 - jdm:armmedia, r=Manishearthbors-servo2020-08-071-0/+4
|\ \ | | | | | | | | | | | | | | | | | | | | | Use gstreamer on UWP targets This fixes a regression that cause our arm64 builds to use the dummy media stack by default. Oops. Fix #27531. Fix #27532.
| * | Pipe GST_DEBUG output to its own log file on UWP.Josh Matthews2020-08-071-0/+4
| | |
* | | Auto merge of #27522 - jdm:home-override, r=paulrougetbors-servo2020-08-071-2/+7
|\ \ \ | |_|/ |/| | | | | | | | | | | Use override value for home button when available. Fixes #27521.
| * | Use override value for home button when available.Josh Matthews2020-08-061-2/+7
| |/
* / Add missing media session callback in UWP embedding.Josh Matthews2020-08-067-24/+58
|/
* Keep C++ pref value in memory longerPaul Rouget2020-08-051-9/+22
|
* Show only a limited list of preferencesPaul Rouget2020-08-059-13/+182
|
* Allow longer devtools JSON messagesPaul Rouget2020-08-031-1/+1
|
* UWP: Crash report UIPaul Rouget2020-08-039-36/+196
|
* Do not instanciate random ServoControlsPaul Rouget2020-07-312-36/+34
|
* Update packaged UWP gstreamer plugins.Josh Matthews2020-07-292-0/+97
|
* Fixed usage of wrong deleteArjun Ramachandrula2020-07-281-1/+1
|
* Make reload button clear the network cache.Josh Matthews2020-07-271-1/+4
|
* Auto merge of #27396 - jdm:home-button, r=Manishearthbors-servo2020-07-242-1/+5
|\ | | | | | | | | | | Avoid crashing when no homepage preference is set. Fixes #27394.
| * Avoid crashing when no homepage preference is set.Josh Matthews2020-07-242-1/+5
| |
* | Fire sessionavailable if in transient modePaul Rouget2020-07-233-3/+11
|/
* Remove simpleservo antialiasing option, rely on prefPaul Rouget2020-07-211-1/+0
|
* UWP: rely more on servo preferencesPaul Rouget2020-07-204-27/+29
|
* Make it possible to run fxr:// url in non-kiosk modePaul Rouget2020-07-164-15/+24
|
* Auto merge of #27250 - paulrouget:unfocus, r=jdmbors-servo2020-07-132-0/+7
|\ | | | | | | | | | | Unfocus input when virtual keyboard is dismissed Fix #27181
| * Unfocus input when virtual keyboard is dismissedPaul Rouget2020-07-132-0/+7
| |
* | devtools: TabDescription actorPaul Rouget2020-07-131-18/+22
|/
* UWP: allow servo's initial URL to be set before Servo startsPaul Rouget2020-07-065-13/+26
|
* Auto merge of #27149 - paulrouget:key_events2, r=jdmbors-servo2020-07-034-21/+58
|\ | | | | | | | | | | | | | | UWP: support virtual keyboard Fix #26898 and fix #26680. @jdm: can you test on the device?
| * UWP: support virtual keyboardPaul Rouget2020-07-024-21/+58
| |
* | Enable stdout logging for all UWP buildsJosh Matthews2020-07-021-23/+13
|/
* Auto merge of #27114 - paulrouget:key_events, r=jdmbors-servo2020-06-307-16/+211
|\ | | | | | | | | | | | | [UWP] Key events This is the initial work required for proper keyboard events. The text controller implementation is very basic, just enough to show the virtual keyboard when it's needed, and have basic key events.
| * UWP: Basic key eventsPaul Rouget2020-06-307-16/+211
| |
* | Auto merge of #27107 - paulrouget:darktheme, r=jdmbors-servo2020-06-2912-59/+31
|\ \ | | | | | | | | | | | | | | | | | | UWP: Dark theme support Removed hard coded colors and replaced icons with builtin icon font. Fix #27058
| * | UWP: Dark theme supportPaul Rouget2020-06-2912-59/+31
| |/
* / Fix DEFAULT_URLPaul Rouget2020-06-297-37/+56
|/
* UWP console: force white backgroundPaul Rouget2020-06-234-14/+15
|
* remove server panelPaul Rouget2020-06-224-15/+6
|
* Allow embedder to bypass devtools promptPaul Rouget2020-06-229-14/+23
|
* UWP: Add console inputPaul Rouget2020-06-195-29/+89
|
* UWP: use a listview to build the consolePaul Rouget2020-06-195-33/+79
|
* UWP: clear console when navigating pages.Josh Matthews2020-06-184-1/+10
|
* [UWP] Basic console panelPaul Rouget2020-06-179-33/+400
|
* Auto merge of #26840 - paulrouget:l10n, r=Manishearthbors-servo2020-06-1116-118/+460
|\ | | | | | | | | | | | | | | UWP L10N Partially addresses #26665. This does not cover Rust strings and resources files.
| * L10N for UWP app.Paul Rouget2020-06-1110-59/+421
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-25 14:56:58 +0000