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 <cel...@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: cel...@informatik.uni-leipzig.de > E-mail: giuseppegacel...@gmail.com > Web site 1: http://www.dh.uni-leipzig.de/wo/team/ > Web site 2: https://sites.google.com/site/giuseppegacelano/ > >