edited


Description:

public virtual signal void edited (string new_name)

Emitted when the user has finished editing the item's name.

By default, if the name doesn't consist of white space, it is automatically assigned to the Granite.Widgets.SourceList.Item.name property. The default behavior can be changed by overriding this signal.

Parameters:

new_name

The item's new name (result of editing.)

Since:

0.2