Pygtk：gtk.Paned（HPaned / VPaned）でセパレーターの移動を無効にする

Question

ユーザーがgtk.Panedのセパレーターの周りをドラッグするのを防ぐ方法はありますか？完全に無効にしたくありません...サイズ変更された子またはset_position（）が呼び出された場合でも、セパレータは位置を変更する必要があります。

ありがとう！

Answer 1

1つの可能な（汚い:)）方法は、Panedのイベントを追跡し、そのサイズを再設定することです： ジェネラコディセタグプレ

最初に子ウィジェットを縮小できないように設定しようと思います。