I see that in the 9.0 version the "+ button" to add a new tab is missing. I think it was very useful: can it be re-introduced in the following releases?
Best,
Giuseppe
Universität Leipzig
Institute of Computer Science
Augustusplatz 10
04109 Leipzig
Deutschland
E-mail: celano@informatik.uni-leipzig.de
E-mail: giuseppegacelano@gmail.com
Web site 1: http://www.dh.uni-leipzig.de/wo/team/
Web site 2: https://sites.google.com/site/giuseppegacelano/