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 /backend | |
| 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 'backend')
0 files changed, 0 insertions, 0 deletions