copyleftie
/
gajim-plural
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

correctly select result row in history window. Fixes #3939

This commit is contained in:
Yann Leboulanger 2012-04-18 10:36:39 +02:00
parent a07bc4a3a2
commit ff87483b32
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/history_window.py
View File

@ -602,7 +602,9 @@ class HistoryWindow:
""" """
start_iter = self.history_buffer.get_start_iter() start_iter = self.history_buffer.get_start_iter()
local_time = time.localtime(float(unix_time)) local_time = time.localtime(float(unix_time))
tim = time.strftime('%X', local_time) timestamp_str = gajim.config.get('time_stamp')
timestamp_str = helpers.from_one_line(timestamp_str)
tim = time.strftime(timestamp_str, local_time)
result = start_iter.forward_search(tim, gtk.TEXT_SEARCH_VISIBLE_ONLY, result = start_iter.forward_search(tim, gtk.TEXT_SEARCH_VISIBLE_ONLY,
None) None)
if result is not None: if result is not None: