lipsync/Boare.Lib.AppUtil/BSplitContainer.cs
2024-05-20 00:17:44 +00:00

533 lines
23 KiB
C#

#if !JAVA
/*
* BSplitContainer.cs
* Copyright (c) 2008-2009 kbinani
*
* This file is part of Boare.Lib.AppUtil.
*
* Boare.Lib.AppUtil is free software; you can redistribute it and/or
* modify it under the terms of the BSD License.
*
* Boare.Lib.AppUtil is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
*/
using System;
using System.ComponentModel;
using System.Drawing;
using System.Windows.Forms;
namespace Boare.Lib.AppUtil {
[Serializable]
public partial class BSplitContainer : ContainerControl {
private Orientation m_orientation = Orientation.Horizontal;
private int m_splitter_distance = 50;
private int m_panel1_min = 25;
private int m_panel2_min = 25;
private int m_splitter_width = 4;
private bool m_splitter_moving = false;
private int m_splitter_distance_draft = 50;
private BSplitterPanel m_panel1;
private BSplitterPanel m_panel2;
private System.ComponentModel.IContainer components = null;
private bool m_splitter_fixed = false;
private Pen m_panel1_border = null;
private Pen m_panel2_border = null;
private System.Windows.Forms.FixedPanel m_fixed_panel;
private PictureBox m_lbl_splitter;
private int m_panel2_distance = 1;
private double m_distance_rate = 0.5;
public event SplitterEventHandler SplitterMoved;
[Browsable(false)]
public event ControlEventHandler ControlAdded;
public BSplitContainer() {
InitializeComponent();
if ( m_orientation == Orientation.Horizontal ) {
m_lbl_splitter.Cursor = Cursors.VSplit;
} else {
m_lbl_splitter.Cursor = Cursors.HSplit;
}
if ( m_orientation == Orientation.Horizontal ) {
m_panel2_distance = this.Width - m_splitter_distance;
} else {
m_panel2_distance = this.Height - m_splitter_distance;
}
m_distance_rate = m_splitter_distance / (double)(m_splitter_distance + m_panel2_distance);
}
public System.Windows.Forms.FixedPanel FixedPanel {
get {
return m_fixed_panel;
}
set {
System.Windows.Forms.FixedPanel old = m_fixed_panel;
m_fixed_panel = value;
if ( m_fixed_panel != FixedPanel.None && m_fixed_panel != old ) {
if ( m_fixed_panel == FixedPanel.Panel1 ) {
m_panel2.Anchor = AnchorStyles.Top | AnchorStyles.Bottom | AnchorStyles.Left | AnchorStyles.Right;
if ( m_orientation == Orientation.Vertical ) {
m_panel1.Anchor = AnchorStyles.Top | AnchorStyles.Left | AnchorStyles.Right;
} else {
m_panel1.Anchor = AnchorStyles.Top | AnchorStyles.Bottom | AnchorStyles.Left;
}
} else {
m_panel1.Anchor = AnchorStyles.Top | AnchorStyles.Bottom | AnchorStyles.Left | AnchorStyles.Right;
if ( m_orientation == Orientation.Vertical ) {
m_panel2.Anchor = AnchorStyles.Bottom | AnchorStyles.Left | AnchorStyles.Right;
} else {
m_panel2.Anchor = AnchorStyles.Top | AnchorStyles.Bottom | AnchorStyles.Right;
}
}
}
}
}
public bool IsSplitterFixed {
get {
return m_splitter_fixed;
}
set {
m_splitter_fixed = value;
if ( m_splitter_fixed ) {
m_lbl_splitter.Cursor = Cursors.Default;
} else {
if ( m_orientation == Orientation.Horizontal ) {
m_lbl_splitter.Cursor = Cursors.VSplit;
} else {
m_lbl_splitter.Cursor = Cursors.HSplit;
}
}
}
}
public bool isSplitterFixed() {
return this.IsSplitterFixed;
}
public void setSplitterFixed( bool value ) {
this.IsSplitterFixed = value;
}
/// <summary>
/// 使用中のリソースをすべてクリーンアップします。
/// </summary>
/// <param name="disposing">マネージ リソースが破棄される場合 true、破棄されない場合は false です。</param>
protected override void Dispose( bool disposing ) {
if ( disposing && (components != null) ) {
components.Dispose();
}
base.Dispose( disposing );
}
/// <summary>
/// デザイナ サポートに必要なメソッドです。このメソッドの内容を
/// コード エディタで変更しないでください。
/// </summary>
private void InitializeComponent() {
this.m_lbl_splitter = new System.Windows.Forms.PictureBox();
this.m_panel2 = new Boare.Lib.AppUtil.BSplitterPanel();
this.m_panel1 = new Boare.Lib.AppUtil.BSplitterPanel();
((System.ComponentModel.ISupportInitialize)(this.m_lbl_splitter)).BeginInit();
this.SuspendLayout();
//
// m_lbl_splitter
//
this.m_lbl_splitter.BackColor = System.Drawing.Color.Transparent;
this.m_lbl_splitter.Location = new System.Drawing.Point( 0, 0 );
this.m_lbl_splitter.Name = "m_lbl_splitter";
this.m_lbl_splitter.Size = new System.Drawing.Size( 100, 50 );
this.m_lbl_splitter.TabIndex = 0;
this.m_lbl_splitter.TabStop = false;
this.m_lbl_splitter.MouseMove += new System.Windows.Forms.MouseEventHandler( this.m_lbl_splitter_MouseMove );
this.m_lbl_splitter.MouseDown += new System.Windows.Forms.MouseEventHandler( this.m_lbl_splitter_MouseDown );
this.m_lbl_splitter.MouseUp += new System.Windows.Forms.MouseEventHandler( this.m_lbl_splitter_MouseUp );
//
// m_panel2
//
this.m_panel2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.m_panel2.BorderColor = System.Drawing.Color.Black;
this.m_panel2.Location = new System.Drawing.Point( 0, 103 );
this.m_panel2.Margin = new System.Windows.Forms.Padding( 0 );
this.m_panel2.Name = "m_panel2";
this.m_panel2.Size = new System.Drawing.Size( 441, 245 );
this.m_panel2.TabIndex = 1;
this.m_panel2.BorderStyleChanged += new System.EventHandler( this.m_panel2_BorderStyleChanged );
this.m_panel2.SizeChanged += new System.EventHandler( this.m_panel2_SizeChanged );
//
// m_panel1
//
this.m_panel1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.m_panel1.BorderColor = System.Drawing.Color.Black;
this.m_panel1.Location = new System.Drawing.Point( 0, 0 );
this.m_panel1.Margin = new System.Windows.Forms.Padding( 0, 0, 0, 4 );
this.m_panel1.Name = "m_panel1";
this.m_panel1.Size = new System.Drawing.Size( 441, 99 );
this.m_panel1.TabIndex = 0;
this.m_panel1.BorderStyleChanged += new System.EventHandler( this.m_panel1_BorderStyleChanged );
this.m_panel1.SizeChanged += new System.EventHandler( this.m_panel1_SizeChanged );
//
// SplitContainerEx
//
this.Controls.Add( this.m_panel2 );
this.Controls.Add( this.m_panel1 );
this.Controls.Add( this.m_lbl_splitter );
this.Size = new System.Drawing.Size( 441, 348 );
this.Paint += new System.Windows.Forms.PaintEventHandler( this.SplitContainerEx_Paint );
((System.ComponentModel.ISupportInitialize)(this.m_lbl_splitter)).EndInit();
this.ResumeLayout( false );
}
private void SplitContainerEx_Paint( object sender, PaintEventArgs e ) {
bool panel1_visible = true;
if ( Orientation == Orientation.Horizontal ) {
if ( m_panel1.Width == 0 ) {
panel1_visible = false;
}
} else {
if ( m_panel1.Height == 0 ) {
panel1_visible = false;
}
}
if ( m_panel1.BorderStyle == BorderStyle.FixedSingle && panel1_visible ) {
if ( m_panel1_border == null ) {
m_panel1_border = new Pen( m_panel1.BorderColor );
} else {
if ( !m_panel1.BorderColor.Equals( m_panel1_border.Color ) ) {
m_panel1_border = new Pen( m_panel1.BorderColor );
}
}
e.Graphics.DrawRectangle( m_panel1_border,
new Rectangle( m_panel1.Left - 1, m_panel1.Top - 1, m_panel1.Width + 1, m_panel1.Height + 1) );
}
bool panel2_visible = true;
if ( Orientation == Orientation.Horizontal ) {
if ( m_panel2.Width == 0 ) {
panel2_visible = false;
}
} else {
if ( m_panel2.Height == 0 ) {
panel2_visible = false;
}
}
if ( m_panel2.BorderStyle == BorderStyle.FixedSingle && panel2_visible ) {
if ( m_panel2_border == null ) {
m_panel2_border = new Pen( m_panel2.BorderColor );
} else {
if ( !m_panel2.BorderColor.Equals( m_panel2_border.Color ) ) {
m_panel2_border = new Pen( m_panel2.BorderColor );
}
}
e.Graphics.DrawRectangle( m_panel2_border,
new Rectangle( m_panel2.Left - 1, m_panel2.Top - 1, m_panel2.Width + 1, m_panel2.Height + 1 ) );
}
}
private void m_panel2_BorderStyleChanged( object sender, EventArgs e ) {
UpdateLayout( m_splitter_distance, m_splitter_width, m_panel1_min, m_panel2_min, false );
}
private void m_panel1_BorderStyleChanged( object sender, EventArgs e ) {
UpdateLayout( m_splitter_distance, m_splitter_width, m_panel1_min, m_panel2_min, false );
}
private void m_panel2_SizeChanged( object sender, EventArgs e ) {
m_panel2.Invalidate( true );
}
private void m_panel1_SizeChanged( object sender, EventArgs e ) {
m_panel1.Invalidate( true );
}
public int Panel1MinSize {
get {
return m_panel1_min;
}
set {
int min_splitter_distance = value;
if ( m_splitter_distance < min_splitter_distance && min_splitter_distance > 0 ) {
m_splitter_distance = min_splitter_distance;
}
UpdateLayout( m_splitter_distance, m_splitter_width, value, m_panel2_min, false );
}
}
public int Panel2MinSize {
get {
return m_panel2_min;
}
set {
int max_splitter_distance = (m_orientation == Orientation.Horizontal) ?
this.Width - m_splitter_width - value :
this.Height - m_splitter_width - value;
if ( m_splitter_distance > max_splitter_distance && max_splitter_distance > 0 ) {
m_splitter_distance = max_splitter_distance;
}
UpdateLayout( m_splitter_distance, m_splitter_width, m_panel1_min, value, false );
}
}
public int SplitterWidth {
get {
return m_splitter_width;
}
set {
if ( value < 1 ) {
value = 1;
}
UpdateLayout( m_splitter_distance, value, m_panel1_min, m_panel2_min, false );
}
}
public int getDividerSize() {
return this.SplitterWidth;
}
public void setDividerSize( int value ) {
this.SplitterWidth = value;
}
private bool UpdateLayout( int splitter_distance, int splitter_width, int panel1_min, int panel2_min, bool check_only ) {
Point mouse = this.PointToClient( Control.MousePosition );
int pad1 = (m_panel1.BorderStyle == BorderStyle.FixedSingle) ? 1 : 0;
int pad2 = (m_panel2.BorderStyle == BorderStyle.FixedSingle) ? 1 : 0;
if ( m_orientation == Orientation.Horizontal ) {
int p1 = splitter_distance;
if ( p1 < 0 ) {
p1 = 0;
} else if ( this.Width < p1 + splitter_width ) {
p1 = this.Width - splitter_width;
}
int p2 = this.Width - p1 - splitter_width;
if ( check_only ) {
if ( p1 < panel1_min || p2 < panel2_min ) {
return false;
}
} else {
if ( p1 < panel1_min ) {
p1 = panel1_min;
}
p2 = this.Width - p1 - splitter_width;
if ( p2 < panel2_min ) {
p2 = panel2_min;
//return false;
}
}
if ( !check_only ) {
m_panel1.Left = pad1;
m_panel1.Top = pad1;
m_panel1.Width = (p1 - 2 * pad1 >= 0) ? (p1 - 2 * pad1) : 0;
m_panel1.Height = (this.Height - 2 * pad1 >= 0) ? (this.Height - 2 * pad1) : 0;
m_panel2.Left = p1 + splitter_width + pad2;
m_panel2.Top = pad2;
m_panel2.Width = (p2 - 2 * pad2 >= 0) ? (p2 - 2 * pad2) : 0;
m_panel2.Height = (this.Height - 2 * pad2 >= 0) ? (this.Height - 2 * pad2) : 0;
m_splitter_distance = p1;
m_panel2_distance = this.Width - m_splitter_distance;
m_distance_rate = m_splitter_distance / (double)(m_splitter_distance + m_panel2_distance);
if ( SplitterMoved != null ) {
SplitterMoved( this, new SplitterEventArgs( mouse.X, mouse.Y, p1, 0 ) );
}
m_splitter_width = splitter_width;
m_panel1_min = panel1_min;
m_panel2_min = panel2_min;
m_lbl_splitter.Left = p1;
m_lbl_splitter.Top = 0;
m_lbl_splitter.Width = splitter_width;
m_lbl_splitter.Height = this.Height;
}
return true;
} else {
int p1 = splitter_distance;
if ( p1 < 0 ) {
p1 = 0;
} else if ( this.Height < p1 + splitter_width ) {
p1 = this.Height - splitter_width;
}
int p2 = this.Height - p1 - splitter_width;
if ( check_only ) {
if ( p1 < panel1_min || p2 < panel2_min ) {
return false;
}
} else {
if ( p1 < panel1_min ) {
p1 = panel1_min;
}
p2 = this.Height - p1 - splitter_width;
if ( p2 < panel2_min ) {
p2 = panel2_min;
//return false;
}
}
if ( !check_only ) {
m_panel1.Left = pad1;
m_panel1.Top = pad1;
m_panel1.Width = (this.Width - 2 * pad1 >= 0) ? (this.Width - 2 * pad1) : 0;
m_panel1.Height = (p1 - 2 * pad1 >= 0) ? (p1 - 2 * pad1) : 0;
m_panel2.Left = pad2;
m_panel2.Top = p1 + splitter_width + pad2;
m_panel2.Width = (this.Width - 2 * pad2 >= 0) ? (this.Width - 2 * pad2) : 0;
m_panel2.Height = (p2 - 2 * pad2 >= 0) ? (p2 - 2 * pad2) : 0;
m_splitter_distance = p1;
m_panel2_distance = this.Height - m_splitter_distance;
m_distance_rate = m_splitter_distance / (double)(m_splitter_distance + m_panel2_distance);
if ( SplitterMoved != null ) {
SplitterMoved( this, new SplitterEventArgs( mouse.X, mouse.Y, 0, p1 ) );
}
m_splitter_width = splitter_width;
m_panel1_min = panel1_min;
m_panel2_min = panel2_min;
m_lbl_splitter.Left = 0;
m_lbl_splitter.Top = p1;
m_lbl_splitter.Width = this.Width;
m_lbl_splitter.Height = splitter_width;
}
return true;
}
}
public int SplitterDistance {
get {
return m_splitter_distance;
}
set {
UpdateLayout( value, m_splitter_width, m_panel1_min, m_panel2_min, false );
if ( m_orientation == Orientation.Horizontal ) {
m_panel2_distance = this.Width - m_splitter_distance;
} else {
m_panel2_distance = this.Height - m_splitter_distance;
}
}
}
public int getDividerLocation() {
return this.SplitterDistance;
}
public void setDividerLocation( int value ) {
this.SplitterDistance = value;
}
public Orientation Orientation {
get {
return m_orientation;
}
set {
if ( m_orientation != value ) {
m_orientation = value;
UpdateLayout( m_splitter_distance, m_splitter_width, m_panel1_min, m_panel2_min, false );
if ( m_orientation == Orientation.Horizontal ) {
m_lbl_splitter.Cursor = Cursors.VSplit;
} else {
m_lbl_splitter.Cursor = Cursors.HSplit;
}
}
}
}
[DesignerSerializationVisibility(DesignerSerializationVisibility.Content)]
public BSplitterPanel Panel1 {
get {
return m_panel1;
}
}
[DesignerSerializationVisibility(DesignerSerializationVisibility.Content)]
public BSplitterPanel Panel2 {
get {
return m_panel2;
}
}
protected override void OnSizeChanged( EventArgs e ) {
#if DEBUG
//Console.WriteLine( "BSplitContainer+OnSizeChanged" );
//Console.WriteLine( " FixedPanel=" + FixedPanel );
//Console.WriteLine( " m_splitter_distance=" + m_splitter_distance );
//Console.WriteLine( " Width=" + Width );
//Console.WriteLine( " Height=" + Height );
//Console.WriteLine( " m_panel2_distance=" + m_panel2_distance );
#endif
base.OnSizeChanged( e );
if ( Width <= 0 || Height <= 0 ) {
return;
}
if ( m_fixed_panel == FixedPanel.Panel2 ) {
if ( m_orientation == Orientation.Horizontal ) {
m_splitter_distance = this.Width - m_panel2_distance;
} else {
m_splitter_distance = this.Height - m_panel2_distance;
}
} else if ( m_fixed_panel == FixedPanel.None ) {
#if DEBUG
//Console.WriteLine( " m_distance_rate=" + m_distance_rate );
#endif
if ( m_orientation == Orientation.Horizontal ) {
m_splitter_distance = (int)(this.Width * m_distance_rate);
} else {
m_splitter_distance = (int)(this.Height * m_distance_rate);
}
}
UpdateLayout( m_splitter_distance, m_splitter_width, m_panel1_min, m_panel2_min, false );
}
private void m_lbl_splitter_MouseDown( object sender, MouseEventArgs e ) {
if ( !m_splitter_fixed ) {
m_splitter_moving = true;
m_splitter_distance_draft = m_splitter_distance;
this.Cursor = (m_orientation == Orientation.Horizontal) ? Cursors.VSplit : Cursors.HSplit;
m_lbl_splitter.BackColor = SystemColors.ControlDark;
m_lbl_splitter.BringToFront();
}
}
private void m_lbl_splitter_MouseUp( object sender, MouseEventArgs e ) {
if ( m_splitter_moving ) {
m_splitter_moving = false;
UpdateLayout( m_splitter_distance_draft, m_splitter_width, m_panel1_min, m_panel2_min, false );
this.Cursor = Cursors.Default;
m_lbl_splitter.BackColor = SystemColors.Control;
}
}
private void m_lbl_splitter_MouseMove( object sender, MouseEventArgs e ) {
base.OnMouseMove( e );
if ( m_splitter_fixed ) {
return;
}
Point mouse_local = this.PointToClient( Control.MousePosition );
if ( m_splitter_moving ) {
int new_distance = m_splitter_distance;
if ( m_orientation == Orientation.Horizontal ) {
new_distance = mouse_local.X;
} else {
new_distance = mouse_local.Y;
}
if ( UpdateLayout( new_distance, m_splitter_width, m_panel1_min, m_panel2_min, true ) ) {
m_splitter_distance_draft = new_distance;
if ( m_orientation == Orientation.Horizontal ) {
m_lbl_splitter.Left = m_splitter_distance_draft;
} else {
m_lbl_splitter.Top = m_splitter_distance_draft;
}
}
}
}
}
}
#endif