Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-07 06:25:32 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #26067 - paulrouget:contextTitle, r=jdm

Browse source 
Make it possible to add a title to context menu

Fixes #26061
This commit is contained in:
bors-servo 2020-03-31 08:33:14 -04:00 • committed by GitHub
commit 234c8557ed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 33 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/embedder_traits/lib.rs
View file

@ -157,7 +157,7 @@ pub enum EmbedderMsg {
/// Show dialog to user
Prompt(PromptDefinition, PromptOrigin),
/// Show a context menu to the user
ShowContextMenu(IpcSender<ContextMenuResult>, Vec<String>),
ShowContextMenu(IpcSender<ContextMenuResult>, Option<String>, Vec<String>),
/// Whether or not to allow a pipeline to load a url.
AllowNavigationRequest(PipelineId, ServoUrl),
/// Whether or not to allow script to open a new tab/browser