public UIElement Create(IPeekSession session, IPeekResultScrollState scrollState)
{
var view = new InlineCommentPeekView();
view.DataContext = viewModel;
return(view);
}
public UIElement Create(IPeekSession session, IPeekResultScrollState scrollState) {
_tb = new TextBox {
Text = _expandedTactic,
Background = Brushes.AliceBlue,
IsReadOnly = true,
FontFamily = new FontFamily("Consolas"),
FontSize = ExpectedFontSize,
MinHeight = TextHeight
};
return _tb;
}
public UIElement Create(IPeekSession session, IPeekResultScrollState scrollState)
{
_tb = new TextBox {
Text = _expandedTactic,
Background = Brushes.AliceBlue,
IsReadOnly = true,
FontFamily = new FontFamily("Consolas"),
FontSize = ExpectedFontSize,
MinHeight = TextHeight
};
return(_tb);
}
public UIElement Create(IPeekSession session, IPeekResultScrollState scrollState)
{
view = new InlineCommentPeekView();
view.DataContext = viewModel;
// Report the desired size back to the peek view. Unfortunately the peek view
// helpfully assigns this desired size to the control that also contains the tab at
// the top of the peek view, so we need to put in a fudge factor. Using a const
// value for the moment, as there's no easy way to get the size of the control.
view.DesiredHeight.Subscribe(x => DesiredHeight = x + PeekBorders);
return(view);
}
public UIElement Create(IPeekSession session, IPeekResultScrollState scrollState) {
_session = session;
DafnyClassifier.DafnyMenuPackage.TacnyMenuProxy.AddUpdaterForRot(_session, Recalculate);
_tb = new TextBox {
Text = _expandedTactic,
Background = Brushes.AliceBlue,
IsReadOnly = true,
FontFamily = new FontFamily("Consolas"),
FontSize = ExpectedFontSize,
MinHeight = TextHeight
};
return _tb;
}
public UIElement Create(IPeekSession session, IPeekResultScrollState scrollState)
{
_session = session;
DafnyClassifier.DafnyMenuPackage.TacnyMenuProxy.AddUpdaterForRot(_session, Recalculate);
_tb = new TextBox {
Text = _expandedTactic,
Background = Brushes.AliceBlue,
IsReadOnly = true,
FontFamily = new FontFamily("Consolas"),
FontSize = ExpectedFontSize,
MinHeight = TextHeight
};
return(_tb);
}
public System.Windows.UIElement Create(IPeekSession session, IPeekResultScrollState state)
{
_textView = (IWpfTextView)session.TextView;
_textView.BackgroundBrushChanged += OnTextViewBackgroundBrushChanged;
_textView.LayoutChanged += ContainingTextView_LayoutChanged;
_control = new F1PeekPresentationControl();
_control.DataContext = this;
_browser = new System.Windows.Forms.WebBrowser();
_browser.Url = _helpUri;
_control.WinFormsHost.Child = _browser;
_browser.DocumentCompleted += Browser_DocumentCompleted;
_browser.Navigating += Browser_Navigating;
return _control;
}
public System.Windows.UIElement Create(IPeekSession session, IPeekResultScrollState state)
{
_textView = (IWpfTextView)session.TextView;
_textView.BackgroundBrushChanged += OnTextViewBackgroundBrushChanged;
_textView.LayoutChanged += ContainingTextView_LayoutChanged;
_control = new UrlPeekPresentationControl();
_control.DataContext = this;
_browser = new System.Windows.Forms.WebBrowser();
_browser.Url = _helpUri;
_control.WinFormsHost.Child = _browser;
_browser.DocumentCompleted += Browser_DocumentCompleted;
_browser.Navigating += Browser_Navigating;
return(_control);
}
public void ScrollIntoView(IPeekResultScrollState scrollState)
{
}
#pragma warning restore 0067
public void ScrollIntoView(IPeekResultScrollState state)
{
}