populate_tool_menu


Description:

public signal void populate_tool_menu (Menu menu)