Oh, made a mistake in previous patch. Reupload a new one.
--- synaptic-0.82.orig/gtk/gtkbuilder/window_logview.ui 2015-10-16 18:53:01.000000000 +0800
+++ synaptic-0.82/gtk/gtkbuilder/window_logview.ui 2015-12-01 11:13:17.107401120 +0800
@@ -73,9 +73,9 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="shadow_type">in</property>
+ <property name="width_request">200</property>
<child>
<object class="GtkTreeView" id="treeview_dates">
- <property name="width_request">200</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="headers_visible">False</property>
