16 Apr
2018
16 Apr
'18
5:05 a.m.
Hi Giuseppe,
It has been moved to be the 1st button on the toolbar "New"(or ctl-T)
/Andy
On 16 April 2018 at 09:55, Giuseppe Celano <celano@informatik.uni-leipzig.de
wrote:
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/