Hoogle Search
Within LTS Haskell 24.58 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
getHeaderBarTitleWidget :: (MonadIO m, IsHeaderBar o) => o -> m (Maybe Widget)gi-gtk4 GI.Gtk.Objects.HeaderBar Get the value of the “title-widget” property. When overloading is enabled, this is equivalent to
get headerBar #titleWidget
setHeaderBarDecorationLayout :: (MonadIO m, IsHeaderBar o) => o -> Text -> m ()gi-gtk4 GI.Gtk.Objects.HeaderBar Set the value of the “decoration-layout” property. When overloading is enabled, this is equivalent to
set headerBar [ #decorationLayout := value ]
setHeaderBarShowTitleButtons :: (MonadIO m, IsHeaderBar o) => o -> Bool -> m ()gi-gtk4 GI.Gtk.Objects.HeaderBar Set the value of the “show-title-buttons” property. When overloading is enabled, this is equivalent to
set headerBar [ #showTitleButtons := value ]
setHeaderBarTitleWidget :: (MonadIO m, IsHeaderBar o, IsWidget a) => o -> a -> m ()gi-gtk4 GI.Gtk.Objects.HeaderBar Set the value of the “title-widget” property. When overloading is enabled, this is equivalent to
set headerBar [ #titleWidget := value ]
toHeaderBar :: (MonadIO m, IsHeaderBar o) => o -> m HeaderBargi-gtk4 GI.Gtk.Objects.HeaderBar Cast to HeaderBar, for types for which this is known to be safe. For general casts, use castTo.
listBoxInvalidateHeaders :: (HasCallStack, MonadIO m, IsListBox a) => a -> m ()gi-gtk4 GI.Gtk.Objects.ListBox Update the separators for all rows. Call this when result of the header function on the box is changed due to an external factor.
-
gi-gtk4 GI.Gtk.Objects.ListBox Sets a header function. By setting a header function on the box one can dynamically add headers in front of rows, depending on the contents of the row and its position in the list. For instance, one could use it to add headers in front of the first item of a new kind, in a list sorted by the kind. The updateHeader can look at the current header widget using listBoxRowGetHeader and either update the state of the widget as needed, or set a new one using listBoxRowSetHeader. If no header is needed, set the header to Nothing. Note that you may get many calls updateHeader to this for a particular row when e.g. changing things that don’t affect the header. In this case it is important for performance to not blindly replace an existing header with an identical one. The updateHeader function will be called for each row after the call, and it will continue to be called each time a row changes (via listBoxRowChanged) and when the row before changes (either by listBoxRowChanged on the previous row, or when the previous row becomes a different row). It is also called for all rows when listBoxInvalidateHeaders is called.
listBoxRowGetHeader :: (HasCallStack, MonadIO m, IsListBoxRow a) => a -> m (Maybe Widget)gi-gtk4 GI.Gtk.Objects.ListBoxRow Returns the current header of the row. This can be used in a [callbackgtk.ListBoxUpdateHeaderFunc] to see if there is a header set already, and if so to update the state of it.
listBoxRowSetHeader :: (HasCallStack, MonadIO m, IsListBoxRow a, IsWidget b) => a -> Maybe b -> m ()gi-gtk4 GI.Gtk.Objects.ListBoxRow Sets the current header of the row. This is only allowed to be called from a [callbackgtk.ListBoxUpdateHeaderFunc]. It will replace any existing header in the row, and be shown in front of the row in the listbox.
module GI.Gtk.Objects.
ListHeader GtkListHeader is used by list widgets to represent the headers they display. GtkListHeader objects are managed just like ListItem objects via their factory, but provide a different set of properties suitable for managing the header instead of individual items. Since: 4.12