From 9ae88d0f337bf2160c8a246e22db201850c3f4db Mon Sep 17 00:00:00 2001 From: Joe Marcus Clarke Date: Sun, 6 Jun 2004 19:04:35 +0000 Subject: [PATCH] Add a link to a workaround to the gnome-terminal/vim title issue. Submitted by: Franz Klammer --- en/gnome/docs/faq26.sgml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/en/gnome/docs/faq26.sgml b/en/gnome/docs/faq26.sgml index 4a49f9feca..7d79c41f30 100644 --- a/en/gnome/docs/faq26.sgml +++ b/en/gnome/docs/faq26.sgml @@ -1,6 +1,6 @@ - + %gnomeincludes; %includes; @@ -152,7 +152,10 @@ $ tail -f /path/to/logfile rate and delay are saved as floats
  • #137388: [gnome-terminal] gnome-terminal has a problem - with the dynamic title and vim
    • + with the dynamic title and vim (UPDATE: See this + email + for a workaround to this problem)
  • #133690: [gnome-terminal] gnome-terminal does not exit the shell correctly (UPDATE: This problem should be