changeset 1911:967fa1fd93ed

page title a_UIcmd_set_page_title() requires the selected child to have been changed already.
author corvid <corvid@lavabit.com>
date Fri, 25 Feb 2011 07:00:11 +0000
parents 50414b37588a
children d3689f044909 d17e6e351eff
files src/uicmd.cc
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/uicmd.cc	Fri Feb 25 00:54:06 2011 +0000
+++ b/src/uicmd.cc	Fri Feb 25 07:00:11 2011 +0000
@@ -272,6 +272,7 @@
             BrowserWindow *bw = a_UIcmd_get_bw_by_widget(new_focus);
             const char *title = a_History_get_title(NAV_TOP_UIDX(bw), 1);
 
+            value(new_focus);
             a_UIcmd_set_page_title(bw, title ? title : "");
       }
 // custom pager