panel_extension


Description:

public void panel_extension (owned ExtensionEvent event)

Enable or disable a panel extension with ExtensionEvent.

Notify that a data is sent by sending a "PanelExtension" message to IBus panel extension service.

Parameters:

this

An PanelService

event

A PanelExtensionEvent which is sent to a panel extension.