私の質問は非常に単純に思えますが、インターネットで答えを見つけることができませんでした:
写真は Linux の GTK+ に実装されている Eclipse から取ったものなので、理論的には可能であるはずですが、方法はわかりません。おそらく、gtk.Window タイプを gtk.WINDOW_TOPLEVEL または gtk.WINDOW_POPUP に設定することによってではありません。
彼の答えで提示された関数の巻き戻しを知りませんでしたが、これがデフォルトで実行可能かどうかはわかりません。しかし、AFAIK、GNOME IDE、Anjutaは、いくつかのカスタムウィジェットを使用してドッキングウィンドウを処理します。Anjuta のソース コードを参照してください。
スクロールされたウィジェットをGtkScrolledWindowに埋め込むことで作成します。GtkHPanedおよびGtkVPanedウィジェット内に埋め込むことにより、サイズ変更可能なスクロール ウィジェットを作成します。