aboutsummaryrefslogtreecommitdiffstats
path: root/support
Commit message (Expand)AuthorAgeFilesLines
...
* Start organizing platform-specific Python codeMartin Robinson2023-05-191-1/+1
* Download prebuilt dependencies from Github instead of S3Mukilan Thiyagarajan2023-04-201-1/+1
* Fix typos in markdown filesGreg Myers2022-01-141-1/+1
* Use `#!/usr/bin/env bash` in shell scripts for NixOS compatibilityyvt2021-06-141-1/+1
* clang-fmtPhilip Lamb2021-03-301-2/+2
* Improve IME messaging to embedder with insertion point index and multiline flag.Philip Lamb2021-03-291-1/+1
* clang-formatPhilip Lamb2020-12-171-2/+1
* Replace use of c++ keyword 'default' in c++ code and C APIs. Also correct obs...Philip Lamb2020-12-164-6/+6
* Use new S3 bucketsSimon Sapin2020-11-113-3/+3
* 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.Josh Matthews2020-08-101-1/+1
* | Auto merge of #27556 - paulrouget:bookmarks, r=jdmbors-servo2020-08-1010-56/+374
|\ \ | |/ |/|
| * UWP: BookmarksPaul Rouget2020-08-1010-56/+374
* | Auto merge of #27543 - paulrouget:strup, r=Manishearthbors-servo2020-08-071-1/+1
|\ \
| * | UWP: better pref labelPaul Rouget2020-08-071-1/+1
| |/
* | Auto merge of #27537 - jdm:armmedia, r=Manishearthbors-servo2020-08-071-0/+4
|\ \
| * | 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.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.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 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 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: Basic key eventsPaul Rouget2020-06-307-16/+211
* | Auto merge of #27107 - paulrouget:darktheme, r=jdmbors-servo2020-06-2912-59/+31
|\ \
| * | 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-22 03:14:04 +0000