diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-09-16 13:15:29 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-09-16 13:15:29 (GMT) |
commit | 8cda843d04a71496537b0f6dc87b310d4c64042e (patch) | |
tree | fdf81e1f4a0b2a325a82828851a8d990aaaa38a9 /ChangeLog | |
parent | 57eb84b3aa7def409e9b9939828b0a1f608e9a0e (diff) |
When title has a confusing extension, show also the document filename
2005-09-16 Marco Pesenti Gritti <mpg@redhat.com>
* shell/ev-window-title.c: (get_filename_from_uri),
(ev_window_title_set_document):
When title has a confusing extension, show also
the document filename inside ()
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,5 +1,13 @@ 2005-09-16 Marco Pesenti Gritti <mpg@redhat.com> + * shell/ev-window-title.c: (get_filename_from_uri), + (ev_window_title_set_document): + + When title has a confusing extension, show also + the document filename inside () + +2005-09-16 Marco Pesenti Gritti <mpg@redhat.com> + * shell/Makefile.am: * shell/ev-window-title.c: (ev_window_title_new), (ev_window_title_update), (ev_window_title_set_type), |