On Sat, Apr 10, 2010 at 8:15 AM, Jan Djärv<address@hidden> wrote:
Lennart Borgman skrev 2010-04-10 03.47:
On Sat, Apr 10, 2010 at 3:22 AM, Stefan Monnier
<address@hidden> wrote:
Tabs may seem like a good idea to switch between different
window-configurations,
Switching between named window configuration seems like a good idea -
but is tabs actually needed for that?
Needed, no. The best GUI for it? Probably.
So there are two parts of this:
- Implementing tabs.
- Better handling of window configurations, probably including naming,
save and restore etc.
Could we please move the second part to the main developing branch so
we can take advantage of that part as soon as possible?