blob: cb59754bc5fb3f26a81bdfdc8dbda9a8a8227cef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
// Copyright (c) AlphaSierraPapa for the SharpDevelop Team (for details please see \doc\copyright.txt)
// This code is distributed under the GNU LGPL (for details please see \doc\license.txt)
using System;
using System.Windows;
using System.Windows.Controls;
using ICSharpCode.AvalonEdit.Utils;
namespace ICSharpCode.AvalonEdit.CodeCompletion
{
/// <summary>
/// The list box used inside the CompletionList.
/// </summary>
public class CompletionListBox : ListBox
{
internal ScrollViewer scrollViewer;
/// <inheritdoc/>
public override void OnApplyTemplate()
{
base.OnApplyTemplate();
// Find the scroll viewer:
scrollViewer = null;
if (this.VisualChildrenCount > 0) {
Border border = this.GetVisualChild(0) as Border;
if (border != null)
scrollViewer = border.Child as ScrollViewer;
}
}
/// <summary>
/// Gets the number of the first visible item.
/// </summary>
public int FirstVisibleItem {
get {
if (scrollViewer == null || scrollViewer.ExtentHeight == 0) {
return 0;
} else {
return (int)(this.Items.Count * scrollViewer.VerticalOffset / scrollViewer.ExtentHeight);
}
}
set {
value = value.CoerceValue(0, this.Items.Count - this.VisibleItemCount);
if (scrollViewer != null) {
scrollViewer.ScrollToVerticalOffset((double)value / this.Items.Count * scrollViewer.ExtentHeight);
}
}
}
/// <summary>
/// Gets the number of visible items.
/// </summary>
public int VisibleItemCount {
get {
if (scrollViewer == null || scrollViewer.ExtentHeight == 0) {
return 10;
} else {
return Math.Max(
3,
(int)Math.Ceiling(this.Items.Count * scrollViewer.ViewportHeight
/ scrollViewer.ExtentHeight));
}
}
}
/// <summary>
/// Removes the selection.
/// </summary>
public void ClearSelection()
{
this.SelectedIndex = -1;
}
/// <summary>
/// Selects the item with the specified index and scrolls it into view.
/// </summary>
public void SelectIndex(int index)
{
if (index >= this.Items.Count)
index = this.Items.Count - 1;
if (index < 0)
index = 0;
this.SelectedIndex = index;
this.ScrollIntoView(this.SelectedItem);
}
/// <summary>
/// Centers the view on the item with the specified index.
/// </summary>
public void CenterViewOn(int index)
{
this.FirstVisibleItem = index - VisibleItemCount / 2;
}
}
}
|
