|
|
|
@ -134,6 +134,10 @@ namespace ICSharpCode.SharpDevelop.Gui
@@ -134,6 +134,10 @@ namespace ICSharpCode.SharpDevelop.Gui
|
|
|
|
|
private void CreateViewTabControl() |
|
|
|
|
{ |
|
|
|
|
viewTabControl = new TabControl(); |
|
|
|
|
viewTabControl.GotFocus += delegate { |
|
|
|
|
TabPage page = viewTabControl.TabPages[viewTabControl.TabIndex]; |
|
|
|
|
if (page.Controls.Count == 1 && !page.ContainsFocus) page.Controls[0].Focus(); |
|
|
|
|
}; |
|
|
|
|
viewTabControl.Alignment = TabAlignment.Bottom; |
|
|
|
|
viewTabControl.Dock = DockStyle.Fill; |
|
|
|
|
viewTabControl.Selected += viewTabControlSelected; |
|
|
|
@ -386,10 +390,6 @@ namespace ICSharpCode.SharpDevelop.Gui
@@ -386,10 +390,6 @@ namespace ICSharpCode.SharpDevelop.Gui
|
|
|
|
|
|
|
|
|
|
public virtual void OnWindowSelected(EventArgs e) |
|
|
|
|
{ |
|
|
|
|
if (viewTabControl != null) { |
|
|
|
|
TabPage page = viewTabControl.TabPages[viewTabControl.TabIndex]; |
|
|
|
|
if (page.Controls.Count == 1 && !page.ContainsFocus) page.Controls[0].Focus(); |
|
|
|
|
} |
|
|
|
|
if (WindowSelected != null) { |
|
|
|
|
WindowSelected(this, e); |
|
|
|
|
} |
|
|
|
|