gtk3 - Genieを使用してHeaderBarにボタンをパックするには?

Question

バックグラウンド

私の目的は、演習として小さなテキスト エディターを改善することです。HeaderBar が追加された後は正常に動作していますが、ボタンをパックする方法が見つかりません。

コード

uses
    Granite.Widgets
    Gtk

init
    Gtk.init (ref args)

    var app = new Application ()
    app.show_all ()
    Gtk.main ()

// This class holds all the elements from the GUI
class Application : Gtk.Window

    _view:Gtk.TextView

    construct ()

        // Prepare Gtk.Window:
        this.window_position = Gtk.WindowPosition.CENTER
        this.destroy.connect (Gtk.main_quit)
        this.set_default_size (400, 400)


        // Headerbar definition
        headerbar:Gtk.HeaderBar = new Gtk.HeaderBar()
        headerbar.show_close_button = true
        headerbar.set_title("My text editor")

        // Headerbar buttons
        var open_button = new ToolButton.from_stock(Stock.Open)

        // Add everything to the toolbar
        open_button.pack_start ()
        show_all ()
        this.set_titlebar(headerbar)

        // Box:
        box:Gtk.Box = new Gtk.Box (Gtk.Orientation.VERTICAL, 1)
        this.add (box)

        // A ScrolledWindow:
        scrolled:Gtk.ScrolledWindow = new Gtk.ScrolledWindow (null, null)
        box.pack_start (scrolled, true, true, 0)

        // The TextView:
        _view = new Gtk.TextView ()
        _view.set_wrap_mode (Gtk.WrapMode.WORD)
        _view.buffer.text = "Lorem Ipsum"
        scrolled.add (_view)

        // A Button:
        button:Gtk.Button = new Gtk.Button.with_label ("Print content to
                                                        stdout")
        box.pack_start (button, false, true, 0)
        button.clicked.connect (clicked)

    // This is a simple stub function to take care of the click
    def clicked ()
        stdout.puts (_view.buffer.text)
        stdout.putc ('\n')

エラー

pack_start (以下を参照) を使用すると、次のエラーが発生します。

text_editor-exercise_7_1.gs:136.3-136.39: error: Access to instance member `Gtk.HeaderBar.pack_start' denied

HeaderBar.pack_start または button_name.pack_start を使用すると、同様のエラーが発生します。

質問

1. pack_start を HeaderBars で使用する必要があると考えるのは間違っていますか?

もう 1 つの小さな問題は、Stock アイコンの使用に関するものです。なんらかの理由で Stock.Open にアクセスできません。

最後に、HeaderBar に関する他の情報源はありますか? Valadoc は、この件に関してまばらです (例やテンプレートはありません)。