-
An event that is generated when a connection is established or dropped.
A listener for connect/disconnect events.
An event that is generated when a history is modified.
A listener for changes in a history.
An event that is generated when a query is executed.
A listener for executing queries.
An event that is generated when a different Result is activated in the
ResultPanel.
A listener that is notified if another Result is activated in the
ResultPanel.
-
An event that is generated when a connection is established or dropped.
An event that is generated when a history is modified.
An event that is generated when a query is executed.
An event that is generated when a different Result is activated in the
ResultPanel.