1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-30 21:30:03 -04:00

Misc code cleanup, docs fixes, etc

This commit is contained in:
Emil Ernerfeldt
2022-02-19 20:51:51 +01:00
parent e49245fae5
commit 89d19860b8
15 changed files with 67 additions and 41 deletions

View File

@@ -372,27 +372,27 @@ pub struct WebInfo {
pub struct Location {
/// The full URL (`location.href`) without the hash.
///
/// Example: "http://www.example.com:80/index.html?foo=bar".
/// Example: `"http://www.example.com:80/index.html?foo=bar"`.
pub url: String,
/// `location.protocol`
///
/// Example: "http:".
/// Example: `"http:"`.
pub protocol: String,
/// `location.host`
///
/// Example: "example.com:80".
/// Example: `"example.com:80"`.
pub host: String,
/// `location.hostname`
///
/// Example: "example.com".
/// Example: `"example.com"`.
pub hostname: String,
/// `location.port`
///
/// Example: "80".
/// Example: `"80"`.
pub port: String,
/// The "#fragment" part of "www.example.com/index.html?query#fragment".
@@ -415,7 +415,7 @@ pub struct Location {
/// `location.origin`
///
/// Example: "http://www.example.com:80"
/// Example: `"http://www.example.com:80"`.
pub origin: String,
}