On Apr 16, 2018, at 11:05 AM, Andy Bunce <bunce.andy@gmail.com> wrote:

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/