| public SetTitle ( string new_title, bool from_user_action ) : void | ||
| new_title | string | |
| from_user_action | bool | |
| return | void | |
public void SetTitle (string new_title, bool from_user_action)
{
if (data.Data.Title != new_title) {
if (window != null)
window.Title = new_title;
string old_title = data.Data.Title;
data.Data.Title = new_title;
if (from_user_action)
ProcessRenameLinkUpdate (old_title);
if (Renamed != null)
Renamed (this, old_title);
QueueSave (ChangeType.ContentChanged); // TODO: Right place for this?
}
}
