diff options
author | Wouter Van Rooy <woutervanrooy@gmail.com> | 2012-06-15 21:33:03 +0200 |
---|---|---|
committer | Wouter Van Rooy <woutervanrooy@gmail.com> | 2012-06-15 21:33:03 +0200 |
commit | 00a7c05a23487f4baa3969b8b507d8fcbc9fe978 (patch) | |
tree | 25301873a55bb7ad4d74216473ee88da8b015af1 /svte.1 | |
parent | 8046ab9a79b007ef5094cc7afe20bfb33a96724a (diff) |
Removed unused page_num variable in set_window_title function
Fix the setting of the window title on window-title-changed signal
Diffstat (limited to 'svte.1')
0 files changed, 0 insertions, 0 deletions