This repository has been archived by the owner on Oct 16, 2020. It is now read-only.
/
IWorkbenchWindow.cs
80 lines (69 loc) · 1.87 KB
/
IWorkbenchWindow.cs
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
// 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.Collections.Generic;
namespace ICSharpCode.SharpDevelop.Gui
{
/// <summary>
/// The IWorkbenchWindow is the basic interface to a window which
/// shows a view (represented by the IViewContent object).
/// </summary>
public interface IWorkbenchWindow
{
/// <summary>
/// The window title.
/// </summary>
string Title {
get;
}
/// <summary>
/// Gets if the workbench window has been disposed.
/// </summary>
bool IsDisposed {
get;
}
/// <summary>
/// Gets/Sets current view content which is shown inside this window.
/// </summary>
IViewContent ActiveViewContent {
get;
set;
}
/// <summary>
/// Gets/Sets the icon of the view content.
/// </summary>
System.Windows.Media.ImageSource Icon {
get;
set;
}
/// <summary>
/// Is raised when the ActiveViewContent property has changed.
/// </summary>
event EventHandler ActiveViewContentChanged;
/// <summary>
/// Gets the list of view contents displayed in this window
/// </summary>
IList<IViewContent> ViewContents {
get;
}
/// <summary>
/// Activates the view with the specified index.
/// </summary>
void SwitchView(int viewNumber);
/// <summary>
/// Closes the window, if force == true it closes the window
/// without asking, even the content is dirty.
/// </summary>
/// <returns>true, if window is closed</returns>
bool CloseWindow(bool force);
/// <summary>
/// Brings this window to front and sets the user focus to this
/// window.
/// </summary>
void SelectWindow();
/// <summary>
/// Is called when the title of this window has changed.
/// </summary>
event EventHandler TitleChanged;
}
}