ユーザーがgtk.Panedのセパレーターの周りをドラッグするのを防ぐ方法はありますか?完全に無効にしたくありません...サイズ変更された子またはset_position()が呼び出された場合でも、セパレータは位置を変更する必要があります。
ありがとう!
考えられる(汚い:))方法の1つは、Panedのイベントを追跡し、そのサイズを再設定することです。
def handle_cb (pane, param):
# detect if paned is locked
# or its position has changed - ommited
pane.set_position(10)
return True
pane = gtk.VPaned()
...
pane.connect("notify", handle_cb)
ただし、最初に子ウィジェットを縮小できないように設定しようと思います。