ViewGPLDialog.cs


0:	// ViewGPLDialog.cs
1:	// Copyright (C) 2000 Mike Krueger
2:	//
3:	// This program is free software; you can redistribute it and/or
4:	// modify it under the terms of the GNU General Public License
5:	// as published by the Free Software Foundation; either version 2
6:	// of the License, or any later version.
7:	//
8:	// This program is distributed in the hope that it will be useful,
9:	// but WITHOUT ANY WARRANTY; without even the implied warranty of
10:	// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11:	// GNU General Public License for more details.
12:	//
13:	// You should have received a copy of the GNU General Public License
14:	// along with this program; if not, write to the Free Software
15:	// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
16:
17:	using System;
18:	using System.Drawing;
19:	using System.ComponentModel;
20:	using System.Windows.Forms;
21:	using System.Resources;
22:
23:	using SharpDevelop.Tool.Data;
24:	using SharpDevelop.Tool.Function;
25:
26:	namespace SharpDevelop.Gui.Dialogs {
27:
28:	public class ViewGPLDialog : Form
29:	{
30:
31:	Container components;
32:	Button okButton;
33:	RichTextBox richTextBox1;
34:
35:	public ViewGPLDialog()
36:	{
37:	InitializeComponent();
38:	}
39:
40:	public void ShowGPL()
41:	{
42:	string filename = Application.StartupPath + "\\..\\doc\\COPYING.txt";
43:	if (FSTypeUtility.TestFileExists(filename)) {
44:	richTextBox1.LoadFile(filename, RichTextBoxStreamType.PlainText);
45:	richTextBox1.Font = new Font("Times New Roman", 12);
46:	richTextBox1.ReadOnly = true;
47:
48:	AcceptButton = okButton;
49:	StartPosition = FormStartPosition.CenterScreen;
50:	Icon = Resource.GetIcon("Icons.16x16.CopyLeftIcon");
51:	TopMost = true;
52:	MaximizeBox = MinimizeBox = false;
53:	ShowInTaskbar = false;
54:	ShowDialog();
55:	}
56:	}
57:
58:	/// <summary>
59:	/// Clean up any resources being used.
60:	/// </summary>
61:	protected override void Dispose(bool disposing)
62:	{
63:	if (disposing) {
64:	if (components != null){
65:	components.Dispose();
66:	}
67:	}
68:	base.Dispose(disposing);
69:	}
70:
71:	private void InitializeComponent()
72:	{
73:	this.components = new System.ComponentModel.Container();
74:	this.richTextBox1 = new RichTextBox();
75:	this.okButton = new Button();
76:	richTextBox1.Text = "";
77:	richTextBox1.TabIndex = 0;
78:
79:	okButton.Size = new System.Drawing.Size(64, 24);
80:	okButton.TabIndex = 1;
81:	okButton.Text = Resource.GetString("Global.OKButtonText");
82:	okButton.DialogResult = DialogResult.OK;
83:
84:	this.AutoScaleBaseSize = new System.Drawing.Size(5, 13);
85:	this.Text = Resource.GetString("Dialog.ViewGPL.DialogName");
86:
87:	this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedDialog;
88:
89:	this.ClientSize = new System.Drawing.Size(474 + 250, 400);
90:
91:	okButton.Location = new System.Drawing.Point((Width - okButton.Width) / 2, ClientSize.Height - okButton.Height - 5);
92:	richTextBox1.Size = new System.Drawing.Size(ClientSize.Width, okButton.Location.Y - 5);
93:
94:	this.Controls.Add(okButton);
95:	this.Controls.Add(richTextBox1);
96:
97:	}
98:
99:	}
100:	}