if the window come back to prev size after expander collapses depends on if window is resizable or not!
This commit is contained in:
parent
9fed3f6602
commit
f63a0c89ec
|
@ -13304,7 +13304,7 @@ Status message</property>
|
|||
<property name="type">GTK_WINDOW_TOPLEVEL</property>
|
||||
<property name="window_position">GTK_WIN_POS_NONE</property>
|
||||
<property name="modal">False</property>
|
||||
<property name="resizable">True</property>
|
||||
<property name="resizable">False</property>
|
||||
<property name="destroy_with_parent">False</property>
|
||||
<property name="decorated">True</property>
|
||||
<property name="skip_taskbar_hint">False</property>
|
||||
|
|
|
@ -356,7 +356,7 @@ class HistoryWindow:
|
|||
#FIXME: one day do not search just for unix_time but the whole and user
|
||||
# specific format of the textbuffer line [time] nick: message
|
||||
# and highlight all that
|
||||
|
||||
|
||||
def scroll_to_result(self, unix_time):
|
||||
'''scrolls to the result using unix_time and highlight line'''
|
||||
start_iter = self.history_buffer.get_start_iter()
|
||||
|
|
Loading…
Reference in New Issue