0

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

ありがとう!

4

1 に答える 1

1

考えられる(汚い:))方法の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)

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

于 2011-05-05T09:49:39.487 に答える