Correct Program Termination

Archive file with this example: Example002.tar.gz. Be sure to read the file README.txt for further instructions.

The second example adds the code that is needed to terminate the program after the window was closed. It turns out that one additional event handler is needed.

import "gtk3" Graphics.UI.Gtk

--  This function is to be called when the window is destroyed.
--  The function has the responsibility to terminate the program
--  in an orderly was. It does so in exiting the event loop.
destroyEventHandler :: IO ()
destroyEventHandler =
  do mainQuit


-- main program: create and display the window
main :: IO ()
main = do
    initGUI
    window <- windowNew
    set window [windowDefaultWidth := 250, windowDefaultHeight := 280]
    on window objectDestroy destroyEventHandler
    widgetShow window
    mainGUI

To terminate the program after its window was closed, you have to do two things:

• Program a function that implements the action to be performed after the window was clased. This function is called a callback function, because it is called by the window to inform the program about some event.
• Associate the callback function with the objectDestroy event of the window.

The event handler for the objectDestroy event is required to be a parameterless function with result type

IO ()

It should call the function mainQuit to leave the event-loop of Gtk.

The Use of the set Function

The example program demonstrates an additional feature: The set function which is used to specify certain attributes of the window.

The function set takes two arguments:

• The window whose attributes are set.
• A list of attribute assignments.

An attribute assignment is written as

• The name of the attribute to be set
• The assignment operator :=
• A feasible attribute value

The statement shown in the example sets the attributes windowDefaultWidth and windowDefaultHeight. Both attributes together specify the initial size of the window.

There are other window attributes you may wish to set:

• containerChild

  The content of the window

• windowTitle

  The title shown in the title bar of the window

• windowType

  The type of the window. The most usual window type is WindowTopLevel. The type WindowPopup is used mainly for dialog windows.

• windowResizable

  ...

• windowModal

  ...

• windowWindowPosition

  This attribute specifies, how the window will be placed on the screen. Possible values of this attribute are:

  • WinPosNone

  • WinPosCenter

  • WinPosMouse

  • WinPosCenterAlways

  • WinPosCenterOnParent

• windowDeletable

  ...

• windowIcon

  specifies the icon for the window

as well as others, less frequently used ones.

Hints for those who want to know more:

The function set is defined in module System.Glib.Attributes.

Most Gtk elements have some attributes. These attributes can be found in the documentation. Bear in mind that a class inherits all attributes of all its base classes.