diff options
author | Jorge Arellano Cid <jcid@dillo.org> | 2009-05-15 15:27:14 -0400 |
---|---|---|
committer | Jorge Arellano Cid <jcid@dillo.org> | 2009-05-15 15:27:14 -0400 |
commit | d7e0c535340fa9f77416b9de7f6887780944d898 (patch) | |
tree | acaeefc7b0f5197a81035f522842cdfe46d4c9b5 /src/uicmd.cc | |
parent | ad309f069f61c29da4aef35ac3c42c2f14827d7d (diff) |
Sync window title with current tab
Diffstat (limited to 'src/uicmd.cc')
-rw-r--r-- | src/uicmd.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/uicmd.cc b/src/uicmd.cc index 46b35c6c..489530c4 100644 --- a/src/uicmd.cc +++ b/src/uicmd.cc @@ -260,6 +260,11 @@ public: // Avoid focus change. return 0; } + } else if (e == FOCUS_CHANGE) { + // Update the window title + BrowserWindow *bw = a_UIcmd_get_bw_by_widget(selected_child()); + const char *title = a_History_get_title(a_Nav_get_top_uidx(bw), 1); + BW2UI(bw)->set_page_title(title ? title : ""); } else if (e == MOVE) { CustShrinkTabPager *cstp = (CustShrinkTabPager *) pager(); if (event_inside(r) && children() > 1) { |