mirror of
https://github.com/servo/servo.git
synced 2025-10-03 18:19:14 +01:00
7c4ba51f51
* avoid unnecessary clones when setting tab title in minibrowser This is of course not a performance issue, but rather just bad style. Especially since the url doesn't even need to be .clone()'d in the first place. Signed-off-by: Simon Wülker <simon.wuelker@arcor.de> * Don't allow empty tab titles in minibrowser These look very confusing. If the page has no title its better to fall back to the url instead of displaying absolutely nothing. (This is what firefox seems to do too) Signed-off-by: Simon Wülker <simon.wuelker@arcor.de> --------- Signed-off-by: Simon Wülker <simon.wuelker@arcor.de> |
||
|---|---|---|
| .. | ||
| protocols | ||
| app.rs | ||
| cli.rs | ||
| egui_glue.rs | ||
| embedder.rs | ||
| events_loop.rs | ||
| geometry.rs | ||
| headed_window.rs | ||
| headless_window.rs | ||
| keyutils.rs | ||
| minibrowser.rs | ||
| mod.rs | ||
| tracing.rs | ||
| webview.rs | ||
| window_trait.rs | ||