[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tabs
From: |
Angelo Graziosi |
Subject: |
Re: Tabs |
Date: |
Sun, 13 Oct 2019 23:09:29 +0200 (CEST) |
> Il 13 ottobre 2019 alle 17.07 Eli Zaretskii ha scritto:
>
> Another possibility is to turn on global-tab-line-mode.
Yes, as I wrote it seems that works better from my POV but just visiting four
files truncates their name in tabs because tabs shrink when buffers increase.
We need a scrolling mechanism to avoid this 'shrinkage'.
>
> The empty boxes seem to indicate that Emacs is unable to load the
> icons for closing and opening tabs, they should be displayed instead
> of the empty boxes. If you are running an installed Emacs, perhaps
> "make install" have a bug whereby it doesn't install the tab-related
> images?
I build using emacs-master.tar.gz as source and my script has something like
this:
make DESTDIR=/foo/inst install-strip
then it creates a compressed archive (a 'package') with the installation tree
(the --prefix is something like /bar/Emacs). I use this 'package' to
install/update Emacs on W10 Pro and Home. I have a task bar link to start
Emacs..
Anyway, I am following this thread since it was born and my opinion is that it
looks too complicated to use this kind of tabs. Do you really think that users
not belonging to the set of developers will use them?
- Re: Tabs, (continued)
- Re: Tabs, Juri Linkov, 2019/10/10
- Re: Tabs, Michael Heerdegen, 2019/10/13
- Re: Tabs, Juri Linkov, 2019/10/13
- Re: Tabs, Michael Heerdegen, 2019/10/15
- Re: Tabs, Juri Linkov, 2019/10/19
- Re: Tabs, Michael Heerdegen, 2019/10/25
- Re: Tabs, Juri Linkov, 2019/10/26
- Re: Tabs, Michael Heerdegen, 2019/10/29
Re: Tabs, Angelo Graziosi, 2019/10/13
- Re: Tabs, Eli Zaretskii, 2019/10/13
- Re: Tabs,
Angelo Graziosi <=
- Re: Tabs, Eli Zaretskii, 2019/10/14
- Re: Tabs, Angelo Graziosi, 2019/10/15
- Re: Tabs, Eli Zaretskii, 2019/10/16
Re: Tabs, Juri Linkov, 2019/10/13
Re: Tabs, Eli Zaretskii, 2019/10/14
Re: Tabs, Eli Zaretskii, 2019/10/15
Re: Tabs, Juri Linkov, 2019/10/15
Re: Tabs, Eli Zaretskii, 2019/10/16
Re: Tabs, Juri Linkov, 2019/10/16
Re: Tabs, Eli Zaretskii, 2019/10/17