Wireshark-bugs: [Wireshark-bugs] [Bug 6207] Add the ability to save filters from the Filter Tool
Date: Thu, 8 Sep 2011 02:02:20 -0700 (PDT)
https://bugs.wireshark.org/bugzilla/show_bug.cgi?id=6207

--- Comment #25 from Anders Broman <anders.broman@xxxxxxxxxxxx> 2011-09-08 02:02:16 PDT ---
@Stig, is this ready to go into the tree and be worked on there?
I can do the commit. The filter box size is a one liner:
-gtk_widget_set_size_request(filter_cm, 600, -1);
+gtk_widget_set_size_request(filter_cm, 400, -1);

Regards
Anders

-- 
Configure bugmail: https://bugs.wireshark.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching all bug changes.