On Mon, Dec 16, 2002 at 07:42:12PM +0100, Tomas Styblo wrote:
The xterm_hintbar option is not configurable in any menu and also
is not documented at all. I did not even know it existed. I tried
It is. See Options-Layout, but I also didn't noticed it until I
grepped sources for 'xterm' :)
That
* Adam Byrtek 'alpha' [EMAIL PROTECTED] [Tue, 17 Dec 2002]:
mc running in the linux console and it does nothing at all. Which
I suppose is good. :) But maybe a check for getenv(DISPLAY)
Se source:
if (xterm_flag !xterm_hintbar) {
xterm_flag takes care of this.
You are right, I
You might be interested in this:
http://www.kde-look.org/content/show.php?content=4379
--
_.|._ |_ _.: Adam Byrtek, alpha@(irc.pl|debian.org)
(_|||_)| |(_|: gg 1802819, pgp 0xB25952C0
|: jid alpha.pl(at)jabber.org
___
Here is an updated version of the patch.
In previous version the jumpkey numbers were displayed even for
empty entries. This was most noticeable in the hotlist. I think it
was quite confusing. Now the numbers are displayed only for
non-empty entries.
The new version of the patch is attached to
Hi.
There is a bug in the hotlist menu. The group label is not updated
if you open an empty group. This happens everytime when you
create a new group and open it.
To reproduce it:
- open the hotlist (ctrl+'\')
- create New Group
- open it
- the label does not change
The included patch fixes
Hello!
There is a bug in the hotlist menu. The group label is not updated
if you open an empty group. This happens everytime when you
create a new group and open it.
Thank you, applied! It's a very simple and clean patch. I knew about
this bug but I never had time to investigate and fix it.