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.

Exact lookup

1. setHeaderBarShowCloseButton :: (MonadIO m, IsHeaderBar o) => o -> Bool -> m ()

   gi-gtk3	GI.Gtk.Objects.HeaderBar

   Set the value of the “show-close-button” property. When overloading is enabled, this is equivalent to

   set headerBar [ #showCloseButton := value ]
   

2. setHeaderBarSpacing :: (MonadIO m, IsHeaderBar o) => o -> Int32 -> m ()

   gi-gtk3	GI.Gtk.Objects.HeaderBar

   Set the value of the “spacing” property. When overloading is enabled, this is equivalent to

   set headerBar [ #spacing := value ]
   

3. setHeaderBarSubtitle :: (MonadIO m, IsHeaderBar o) => o -> Text -> m ()

   gi-gtk3	GI.Gtk.Objects.HeaderBar

   Set the value of the “subtitle” property. When overloading is enabled, this is equivalent to

   set headerBar [ #subtitle := value ]
   

4. setHeaderBarTitle :: (MonadIO m, IsHeaderBar o) => o -> Text -> m ()

   gi-gtk3	GI.Gtk.Objects.HeaderBar

   Set the value of the “title” property. When overloading is enabled, this is equivalent to

   set headerBar [ #title := value ]
   

5. toHeaderBar :: (MonadIO m, IsHeaderBar o) => o -> m HeaderBar

   gi-gtk3	GI.Gtk.Objects.HeaderBar

   Cast to HeaderBar, for types for which this is known to be safe. For general casts, use castTo.

6. class (GObject o, IsDescendantOf HeaderBarAccessible o) => IsHeaderBarAccessible o

   gi-gtk3	GI.Gtk.Objects.HeaderBarAccessible

   Type class for types which can be safely cast to HeaderBarAccessible, for instance with toHeaderBarAccessible.

7. toHeaderBarAccessible :: (MonadIO m, IsHeaderBarAccessible o) => o -> m HeaderBarAccessible

   gi-gtk3	GI.Gtk.Objects.HeaderBarAccessible

   Cast to HeaderBarAccessible, for types for which this is known to be safe. For general casts, use castTo.

8. listBoxInvalidateHeaders :: (HasCallStack, MonadIO m, IsListBox a) => a -> m ()

   gi-gtk3	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. Since: 3.10

9. listBoxSetHeaderFunc :: (HasCallStack, MonadIO m, IsListBox a) => a -> Maybe ListBoxUpdateHeaderFunc -> m ()

   gi-gtk3	GI.Gtk.Objects.ListBox

   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. Since: 3.10

10. listBoxRowGetHeader :: (HasCallStack, MonadIO m, IsListBoxRow a) => a -> m (Maybe Widget)

    gi-gtk3	GI.Gtk.Objects.ListBoxRow

    Returns the current header of the row. This can be used in a ListBoxUpdateHeaderFunc to see if there is a header set already, and if so to update the state of it. Since: 3.10

Page 255 of many | Previous | Next