Lines Matching refs:action_bar

392         private Gtk.ActionBar? action_bar = null;
453             if (this.action_bar != null) {
454                 this.action_bar.hide();
455                 this.action_bar.destroy();
456                 this.action_bar = null;
459             this.action_bar = new Gtk.ActionBar();
466                         this.action_bar.pack_start(widget);
472                             this.action_bar.set_center_widget(centre);
478                         this.action_bar.pack_end(widget);
484             this.action_bar.show_all();
485             this.backing.editor.add_action_bar(this.action_bar);