出力は死んだテキスト

TTYはダメだ、と言いながらOutputパネルはほぼTTY。そのため：

• 出力が長いときに、切られる。
• 出力から文字列を探せない。GUIでよくある「目でgrep」、辛い！
• 出力がリンクやボタンであればいいのに。例外は thy_deps だが、ショボい。
• コピペは出来る。が、find_theoremsの出力をコピペするときの情けなさったら、、、