reveal_menu


Description:

public signal void reveal_menu (Widget settings_menu)

signal is emitted to indicate that a settings menu has been requested

Parameters:

settings_menu

The settings menu to be revealed