[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tabs
From: |
Eli Zaretskii |
Subject: |
Re: Tabs |
Date: |
Wed, 09 Oct 2019 14:35:41 +0300 |
> Date: Wed, 9 Oct 2019 12:39:36 +0200
> From: Ergus <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden
>
> >Does the change below fix this problem, per chance?
> >
> >diff --git a/src/xfns.c b/src/xfns.c
> >index 20e63a2..f2264be 100644
> >--- a/src/xfns.c
> >+++ b/src/xfns.c
> >@@ -1660,6 +1660,8 @@ x_change_tab_bar_height (struct frame *f, int height)
> >
> > if ((height < old_height) && WINDOWP (f->tab_bar_window))
> > clear_glyph_matrix (XWINDOW (f->tab_bar_window)->current_matrix);
> >+ else if (height > old_height)
> >+ clear_current_matrices (f);
> >
> > /* Recalculate tabbar height. */
> > f->n_tab_bar_rows = 0;
>
> It solved partially the problem, which is good.
>
> 1) The tabs does not become visible automatically after C-x 6 f, and
> C-TAB works as yesterday.
>
> 2) But when I leave the desk and return they become visible but this
> time they are clickable. (unlike yesterday)
What about the change below?
If it still doesn't work, can you try disabling double-buffering?
diff --git a/src/xdisp.c b/src/xdisp.c
index 893ce92..f94f651 100644
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -11796,7 +11796,7 @@ clear_garbaged_frames (void)
if (FRAME_VISIBLE_P (f) && FRAME_GARBAGED_P (f))
{
- if (f->resized_p
+ if ((f->resized_p || f->tab_bar_resized)
/* It makes no sense to redraw a non-selected TTY
frame, since that will actually clear the
selected frame, and might leave the selected
- Re: Tabs, (continued)
- Re: Tabs, Ergus, 2019/10/08
- Re: Tabs, Eli Zaretskii, 2019/10/08
- Re: Tabs, Eli Zaretskii, 2019/10/08
- Re: Tabs, Ergus, 2019/10/08
- Re: Tabs, Eli Zaretskii, 2019/10/08
- Re: Tabs, Ergus, 2019/10/08
- Re: Tabs, Eli Zaretskii, 2019/10/08
- Re: Tabs, Ergus, 2019/10/08
- Re: Tabs, Eli Zaretskii, 2019/10/09
- Re: Tabs, Ergus, 2019/10/09
- Re: Tabs,
Eli Zaretskii <=
- Re: Tabs, Ergus, 2019/10/09
- Re: Tabs, Eli Zaretskii, 2019/10/09
- Re: Tabs, Ergus, 2019/10/09
- Re: Tabs, Eli Zaretskii, 2019/10/09
- Re: Tabs, Ergus, 2019/10/09
- Re: Tabs, Eli Zaretskii, 2019/10/09
- Re: Tabs, Eli Zaretskii, 2019/10/10
- Re: Tabs, Ergus, 2019/10/10
- Re: Tabs, Eli Zaretskii, 2019/10/10
- Re: Tabs, Ergus, 2019/10/10