index c53583741f5b13613ac515316c94613cc87ecaec..f2f51a780094239aea95b29abef5494ef168279a 100644 (file)
{
if ( !_document || !_event_log || !_columns ) return;
- set_size_request(300, 200);
+ set_size_request(300, 95);
_getContents()->pack_start(_scrolled_window);
_scrolled_window.set_policy(Gtk::POLICY_NEVER, Gtk::POLICY_AUTOMATIC);