Re: [E-devel] Tabs in terminology

2014-12-03 Thread Boris Faure
On 14-12-03 08:57, Carsten Haitzler wrote: On Tue, 2 Dec 2014 21:29:37 +0100 Boris Faure bo...@fau.re said: Hi! I've pushed a bunch of commits to the terminology repository. They change (and enhance I hope) the way tabs and splits can be used in terminology. There is a tabbar that

[E-devel] Tabs in terminology

2014-12-02 Thread Boris Faure
Hi! I've pushed a bunch of commits to the terminology repository. They change (and enhance I hope) the way tabs and splits can be used in terminology. There is a tabbar that can be hidden to get the old tab selector. All splits contain an hidden tabbar thus you can have tabs in splits in tabs

Re: [E-devel] Tabs in terminology

2014-12-02 Thread The Rasterman
On Tue, 2 Dec 2014 21:29:37 +0100 Boris Faure bo...@fau.re said: Hi! I've pushed a bunch of commits to the terminology repository. They change (and enhance I hope) the way tabs and splits can be used in terminology. There is a tabbar that can be hidden to get the old tab selector. All