Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. HeaderBarAccessible :: ManagedPtr HeaderBarAccessible -> HeaderBarAccessible

   gi-gtk3	GI.Gtk.Objects.HeaderBarAccessible

   No documentation available.

2. module GI.Gtk.Objects.HeaderBar

   GtkHeaderBar is a widget for creating custom title bars for windows. GtkHeaderBar is similar to a horizontal GtkCenterBox. It allows children to be placed at the start or the end. In addition, it allows the window title to be displayed. The title will be centered with respect to the width of the box, even if the children at either side take up different amounts of space. GtkHeaderBar can add typical window frame controls, such as minimize, maximize and close buttons, or the window icon. For these reasons, GtkHeaderBar is the natural choice for use as the custom titlebar widget of a GtkWindow (see windowSetTitlebar), as it gives features typical of titlebars while allowing the addition of child widgets.

   GtkHeaderBar as GtkBuildable

   The GtkHeaderBar implementation of the GtkBuildable interface supports adding children at the start or end sides by specifying “start” or “end” as the “type” attribute of a <child> element, or setting the title widget by specifying “title” value. By default the GtkHeaderBar uses a GtkLabel displaying the title of the window it is contained in as the title widget, equivalent to the following UI definition:

   xml code

   <object class="GtkHeaderBar">
   <property name="title-widget">
   <object class="GtkLabel">
   <property name="label" translatable="yes">Label</property>
   <property name="single-line-mode">True</property>
   <property name="ellipsize">end</property>
   <property name="width-chars">5</property>
   <style>
   <class name="title"/>
   </style>
   </object>
   </property>
   </object>
   

   CSS nodes

   headerbar
   ╰── windowhandle
   ╰── box
   ├── box.start
   │   ├── windowcontrols.start
   │   ╰── [other children]
   ├── [Title Widget]
   ╰── box.end
   ├── [other children]
   ╰── windowcontrols.end
   

   A GtkHeaderBar's CSS node is called headerbar. It contains a windowhandle subnode, which contains a box subnode, which contains two box subnodes at the start and end of the header bar, as well as a center node that represents the title. Each of the boxes contains a windowcontrols subnode, see WindowControls for details, as well as other children.

   Accessibility

   GtkHeaderBar uses the AccessibleRoleGroup role.

3. newtype HeaderBar

   gi-gtk4	GI.Gtk.Objects.HeaderBar

   Memory-managed wrapper type.

4. HeaderBar :: ManagedPtr HeaderBar -> HeaderBar

   gi-gtk4	GI.Gtk.Objects.HeaderBar

   No documentation available.

5. module Math.Programming.Glpk.Header

   Low-level bindings to the GLPK library. Functions and enums wrapped directly from glpk.h are undocumented; refer to the official documentation distributed with GLPK for details.

6. data Header id

   haddock-library	Documentation.Haddock.Types

   No documentation available.

7. Header :: Int -> id -> Header id

   haddock-library	Documentation.Haddock.Types

   No documentation available.

8. newtype Headers

   haskoin-core	Haskoin.Block.Common

   The Headers type is used to return a list of block headers in response to a GetHeaders message.

9. Headers :: [BlockHeaderCount] -> Headers

   haskoin-core	Haskoin.Block.Common

   No documentation available.

10. module Haskoin.Block.Headers

    Block chain header synchronization and proof-of-work consensus functions.

Page 103 of many | Previous | Next