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