Investigate the cause for Bug #587441 and fix it if possible

• Write a program for the test-case given in comment 22

• Debug GtkTextView/GtkPaned size requests

• Write a patch against gtk+ to fix it and attach it to the Bugzilla report