Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-24 17:14:33 +01:00
Code Issues Projects Releases Packages Wiki Activity
6615 commits 150 branches 5 tags 1.6 GiB
Commit graph

10 commits

Author SHA1 Message Date
Patrick Walton
01c90d8d6a layout: Implement z-index. 2014-10-08 22:30:44 -07:00
Robin Stocker
8a5c6a0d3b Allow to specify port with --devtools option (fixes #3597) 
Note that using `servo --devtools http://example.org` doesn't work. In
that case either the port must be specified or the option moved to the
end. This is done by getopts and is the same for other such options,
e.g. `--profile`.
 2014-10-09 00:39:31 +11:00
Glenn Watson
dc1d66d3ce Add cmd line option to set user agent. Improves github when used. 2014-10-03 13:57:12 +10:00
Glenn Watson
e237519fdd Revert "Set default resolution to 1280x1024 now that reftests render to FBO." 
This reverts commit c74798bb6b.
 2014-09-29 10:10:37 +10:00
Glenn Watson
c74798bb6b Set default resolution to 1280x1024 now that reftests render to FBO. 2014-09-29 07:42:45 +10:00
Glenn Watson
ff4713c434 Change opts to work in screen pixels that are scaled to device pixels. 2014-09-24 07:39:37 +10:00
Glenn Watson
c2522ec127 Change default back to 800x600 as mac travis builders don't work with 1280x1024 2014-09-24 06:59:05 +10:00
Glenn Watson
c33f18b7df Allow resolution to be configured on command line. Default to 1280x1024. 2014-09-24 06:59:05 +10:00
Josh Matthews
f0f7e98dfa Dump initial prototype of devtools server into the build. Expect lies if you try to use it for anything real. 2014-09-18 15:06:40 -04:00
Jack Moffitt
c6ab60dbfc Cargoify servo 2014-09-08 20:21:42 -06:00
Renamed from src/components/util/opts.rs (Browse further)