window_size_changed


Description:

public signal void window_size_changed (int size)

Emitted when the trace view window has been resized.