historyTitle property

String historyTitle
final

Title shown above the query history panel.

Implementation

final String historyTitle;