Texts command, readability problems on Windows

There are some readability problems with Windows 10:

Windows 10 note:

Selected lines are blue when the widget has the focus otherwise they are grey => change the color of the stats bars?

The metadata table areas are not well dissociated => add a border?

Also disable the selection for the tables on the right?

added os::windows tool::texts ui labels

mentioned in issue #194 (closed)

changed the description

changed milestone to %TXM 0.8.4

mentioned in commit 4ee36b53

mentioned in commit 88623a0a

mentioned in commit 26936b29

added type::task label

(TXM 0.8.4, 26936b29)

Stats bars color has been changed to dark gray (same as Eigen values).

Changing the text selection now deselects all selected lines of the right stats panel.

The column header of the right stats panel is now repacked to match the data string length.

closed