type_changed


Description:

public signal void type_changed (WindowType old_type)

Emitted when window's type changes.

Parameters:

old_type

the previous window type.