[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tabs
From: |
Ergus |
Subject: |
Re: Tabs |
Date: |
Thu, 10 Oct 2019 15:29:31 +0200 |
User-agent: |
NeoMutt/20180716 |
BTW: At some point during the latest changes there was a change in the
tui tabs?? They where made as text mode before, but now they are
graphical tabs over the terminal (picture attached)... was this
intentional?
On Thu, Oct 10, 2019 at 02:52:36PM +0300, Eli Zaretskii wrote:
Please try the latest master, I made a change which could potentially
affect the issue.
Screenshot_2019-10-10_15-21-07.png
Description: PNG image
- Re: Tabs, (continued)
- Re: Tabs, Eli Zaretskii, 2019/10/10
- Re: Tabs, Ergus, 2019/10/10
- Re: Tabs, Eli Zaretskii, 2019/10/10
- Re: Tabs, martin rudalics, 2019/10/10
- Re: Tabs, Ergus, 2019/10/10
- Re: Tabs, martin rudalics, 2019/10/10
- Re: Tabs, Eli Zaretskii, 2019/10/10
- Re: Tabs, martin rudalics, 2019/10/11
- Re: Tabs, Eli Zaretskii, 2019/10/11
- Re: Tabs, martin rudalics, 2019/10/16
- Re: Tabs,
Ergus <=
- Re: Tabs, Eli Zaretskii, 2019/10/10
- Re: Tabs, Ergus, 2019/10/10
- Re: Tabs, Ergus, 2019/10/10
- Re: Tabs, Eli Zaretskii, 2019/10/10
- Re: Tabs, Juri Linkov, 2019/10/10
- Re: Tabs, Eli Zaretskii, 2019/10/11
- Re: Tabs, Juri Linkov, 2019/10/13
- Re: Tabs, Juri Linkov, 2019/10/09
- Re: Tabs, Eli Zaretskii, 2019/10/10
- Re: Tabs, Juri Linkov, 2019/10/10