GUI

On 16 April 2018 at 09:55, Giuseppe Celano <celano at 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 at informatik.uni-leipzig.de > E-mail: giuseppegacelano at gmail.com > Web site 1: http://www.dh.uni-leipzig.de/wo/team/ > Web site 2: https://sites.google.com/site/giuseppegacelano/ > >

> On Apr 16, 2018, at 11:05 AM, Andy Bunce <bunce.andy at 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 at informatik.uni-leipzig.de <mailto:celano at 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 at informatik.uni-leipzig.de <mailto:celano at informatik.uni-leipzig.de> > E-mail: giuseppegacelano at gmail.com <mailto:giuseppegacelano at gmail.com> > Web site 1: http://www.dh.uni-leipzig.de/wo/team/ <http://www.dh.uni-leipzig.de/wo/team/> > Web site 2: https://sites.google.com/site/giuseppegacelano/ <https://sites.google.com/site/giuseppegacelano/> > >