From e1df2cbf23ed86db046736cc1514d46e72bd47bc Mon Sep 17 00:00:00 2001
From: Cris <hainberg@technikum-wien.at>
Date: Thu, 30 Jan 2020 12:30:26 +0100
Subject: [PATCH] Added tooltips on column headers (displaying title) in
 TableWidget

Now this is a standard behaviour of TableWidget.
---
 public/js/TableWidget.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/public/js/TableWidget.js b/public/js/TableWidget.js
index 575ad6b12..7c1b01b93 100644
--- a/public/js/TableWidget.js
+++ b/public/js/TableWidget.js
@@ -522,6 +522,7 @@ var FHC_TableWidget = {
 
 				options.columns = arrayTabulatorColumns;
 				options.data = data.dataset;
+				options.tooltipsHeader = true;									// set header tooltip with column title
 				options.rowSelectionChanged = function(data, rows){
 					_func_rowSelectionChanged(data, rows);
 				};