package ocgtk
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=4e50fdb5093136a10fc8ffbe388e44cbcb70d52f8afdd48863ec7e22580ff054
doc/ocgtk.gdk/Ocgtk_gdk/Gdk/Wrappers/Toplevel_size/index.html
Module Wrappers.Toplevel_size
type t = [ `toplevel_size ] Gobject.objThe `GdkToplevelSize` struct contains information that is useful to compute the size of a toplevel.
val set_size : t -> int -> int -> unitSets the size the toplevel prefers to be resized to.
The size should be within the bounds (see method@Gdk.ToplevelSize.get_bounds). The set size should be considered as a hint, and should not be assumed to be respected by the windowing system, or backend.
val set_shadow_width : t -> int -> int -> int -> int -> unitSets the shadows size of the toplevel.
The shadow width corresponds to the part of the computed surface size that would consist of the shadow margin surrounding the window, would there be any.
Shadow width should only be set if method@Gtk.Display.supports_shadow_width is %TRUE.
val set_min_size : t -> int -> int -> unitSets the minimum size of the toplevel.
The minimum size corresponds to the limitations the toplevel can be shrunk to, without resulting in incorrect painting. A user of a `GdkToplevel` should calculate these given both the existing size, and the bounds retrieved from the `GdkToplevelSize` object.
The minimum size should be within the bounds (see method@Gdk.ToplevelSize.get_bounds).
val get_bounds : t -> int * intRetrieves the bounds the toplevel is placed within.
The bounds represent the largest size a toplevel may have while still being able to fit within some type of boundary. Depending on the backend, this may be equivalent to the dimensions of the work area or the monitor on which the window is being presented on, or something else that limits the way a toplevel can be presented.