mirror of
https://github.com/Ryujinx/GtkSharp.git
synced 2024-12-24 16:45:35 +00:00
4d694b215f
'RequestSize' instead of 'SizeRequest' to avoid a name clash. * api/gtk-api.xml: * sources/Gtk.metadata: out param for gtk_widget_get_size_request. svn path=/trunk/gtk-sharp/; revision=11046
52 lines
1,011 B
Plaintext
Executable file
52 lines
1,011 B
Plaintext
Executable file
// 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>
|
|
|
|
public Window (String title) : this (WindowType.Toplevel)
|
|
{
|
|
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;
|
|
}
|
|
}
|
|
|
|
public System.Drawing.Size Position {
|
|
get {
|
|
int x, y;
|
|
GetPosition (out x, out y);
|
|
|
|
return new System.Drawing.Size (
|
|
x, y);
|
|
}
|
|
}
|