public HoverRegistrationOptions GetRegistrationOptions(HoverCapability capability, ClientCapabilities clientCapabilities)
 {
     return(new HoverRegistrationOptions()
     {
         DocumentSelector = TextDocumentHandler.RhetosDocumentSelector
     });
 }
Exemple #2
0
 protected override HoverRegistrationOptions CreateRegistrationOptions(HoverCapability capability, ClientCapabilities clientCapabilities)
 {
     return(new()
     {
         DocumentSelector = Program.Selector,
     });
 }
Exemple #3
0
 public HoverRegistrationOptions GetRegistrationOptions(HoverCapability capability, ClientCapabilities clientCapabilities)
 {
     return(new HoverRegistrationOptions
     {
         DocumentSelector = RazorDefaults.Selector,
     });
 }
 public override void SetCapability(HoverCapability capability) => _setCapability?.Invoke(capability);
 public abstract void SetCapability(HoverCapability capability);
 public void SetCapability(HoverCapability capability)
 {
     this.capability = capability;
 }
 protected override HoverRegistrationOptions CreateRegistrationOptions(HoverCapability capability, ClientCapabilities clientCapabilities) => new HoverRegistrationOptions
 {
     DocumentSelector = LspUtils.PowerShellDocumentSelector
 };
Exemple #8
0
 public void SetCapability(HoverCapability capability)
 {
 }
Exemple #9
0
 public void SetCapability(HoverCapability capability)
 {
     _capability = capability;
 }
 public virtual void SetCapability(HoverCapability capability) => Capability = capability;
Exemple #11
0
 public void SetCapability(HoverCapability capability)
 {
     capability.DynamicRegistration = true;
 }
Exemple #12
0
 protected override HoverRegistrationOptions CreateRegistrationOptions(HoverCapability capability, ClientCapabilities clientCapabilities)
 {
     return(new HoverRegistrationOptions {
         DocumentSelector = DocumentSelector.ForLanguage("dafny")
     });
 }
Exemple #13
0
 protected override HoverRegistrationOptions CreateRegistrationOptions(HoverCapability capability, ClientCapabilities clientCapabilities) => new()
 /// <summary>
 ///     Called to provide information about the client's hover capabilities.
 /// </summary>
 /// <param name="capabilities">
 ///     The client's hover capabilities.
 /// </param>
 public void SetCapability(HoverCapability capabilities)
 {
     Capabilities = capabilities;
 }
Exemple #15
0
 void ICapability <HoverCapability> .SetCapability(HoverCapability capability)
 {
 }
 public void SetCapability(HoverCapability capability)
 {
     capability.ContentFormat = new Container <MarkupKind>(MarkupKind.Markdown);
 }