Xterm title fix

[Adam Byrtek 'alpha' <alpha student uci agh edu pl>]

A patch to refresh xterm title after:

- running a shell command
- Ctrl-O some_prog_which_changes_title Ctrl-O

Also posted to BTS.

Regars

-- 

  _.|._ |_  _.    : Adam Byrtek, alpha@(irc.pl|debian.org)
 (_|||_)| |(_|    : gg 1802819, pgp 0xB25952C0
     |            : jid alpha.pl(at)jabber.org

Index: cmd.c
===================================================================
RCS file: /cvs/gnome/mc/src/cmd.c,v
retrieving revision 1.128
diff -u -r1.128 cmd.c
--- cmd.c	26 Dec 2002 02:21:43 -0000	1.128
+++ cmd.c	14 Jan 2003 23:26:06 -0000
@@ -1046,6 +1046,7 @@
         touchwin (stdscr);
 	
 	repaint_screen ();
+	update_xterm_title_path ();
     }
 }
 
Index: main.c
===================================================================
RCS file: /cvs/gnome/mc/src/main.c,v
retrieving revision 1.272
diff -u -r1.272 main.c
--- main.c	27 Dec 2002 23:23:34 -0000	1.272
+++ main.c	14 Jan 2003 23:26:08 -0000
@@ -568,6 +568,7 @@
 #endif				/* USE_VFS */
 
     update_panels (UP_OPTIMIZE, UP_KEEPSEL);
+    update_xterm_title_path ();
 
     do_refresh ();
     use_dash (TRUE);