2001-11-07 23:13:05 +00:00
|
|
|
// Gtk.Window.custom - Gtk Window class customizations
|
|
|
|
//
|
|
|
|
// Author: Mike Kestner <mkestner@speakeasy.net>
|
|
|
|
//
|
|
|
|
// (c) 2001 Mike Kestner
|
|
|
|
//
|
|
|
|
// This code is inserted after the automatically generated code.
|
|
|
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
/// Window Constructor
|
|
|
|
/// </summary>
|
|
|
|
///
|
|
|
|
/// <remarks>
|
|
|
|
/// Constructs a new Window of type TopLevel with the
|
|
|
|
/// specified Title.
|
|
|
|
/// </remarks>
|
|
|
|
|
2002-05-02 23:29:33 +00:00
|
|
|
public Window (String title) : this (WindowType.Toplevel)
|
2001-11-07 23:13:05 +00:00
|
|
|
{
|
|
|
|
this.Title = title;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
/// DefaultSize Property
|
|
|
|
/// </summary>
|
|
|
|
///
|
|
|
|
/// <remarks>
|
|
|
|
/// The default Size of the Window in Screen Coordinates.
|
|
|
|
/// </remarks>
|
|
|
|
|
|
|
|
public System.Drawing.Size DefaultSize {
|
|
|
|
get {
|
|
|
|
return new System.Drawing.Size (
|
|
|
|
DefaultWidth, DefaultHeight);
|
|
|
|
}
|
|
|
|
set {
|
|
|
|
DefaultWidth = value.Width;
|
|
|
|
DefaultHeight = value.Height;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2003-01-30 02:34:20 +00:00
|
|
|
public System.Drawing.Size Position {
|
|
|
|
get {
|
|
|
|
int x, y;
|
|
|
|
GetPosition (out x, out y);
|
|
|
|
|
|
|
|
return new System.Drawing.Size (
|
|
|
|
x, y);
|
|
|
|
}
|
|
|
|
}
|
2003-02-06 07:03:49 +00:00
|
|
|
|
|
|
|
public System.Drawing.Size Size {
|
|
|
|
get {
|
|
|
|
int x, y;
|
|
|
|
GetSize (out x, out y);
|
|
|
|
|
|
|
|
return new System.Drawing.Size (
|
|
|
|
x, y);
|
|
|
|
}
|
|
|
|
}
|